CoRR, January 2014
Nils Bertschinger, David H. Wolpert, Eckehard Olbrich, Jürgen Jost:
Information geometry of influence diagrams and noncooperative games.
Atta ur Rehman Khan, Mazliza Othman, Abdul Nasir Khan:
A Novel Application Licensing Framework for Mobile Cloud Environment.
Alexandr Andoni, Aleksandar Nikolov, Krzysztof Onak, Grigory Yaroslavtsev:
Parallel Algorithms for Geometric Graph Problems.
(Withdrawn) Bounds on the rate of superimposed codes.
Bernhard Firner, Shridatt Sugrim, Yulong Yang, Janne Lindqvist:
Elastic Pathing: Your Speed is Enough to Track You.
Davide Martinenghi:
Determining Relevant Relations for Datalog Queries under Access Limitations is Undecidable.


Mahdi Zamani, Mahnush Movahedi, Mohammad Mehdi Ebadzadeh, Hossein Pedram:
A Danger-Based Approach to Intrusion Detection.
Yukun Bao, Tao Xiong, Zhongyi Hu:
PSO-MISMO Modeling Strategy for Multi-Step-Ahead Time Series Prediction.
(Withdrawn) On Packing Almost Half of a Square with Anchored Rectangles: A Constructive Approach.
Shaofan Wang, Dehui Kong, Juan Xue, Weijia Zhu, Min Xu, Baocai Yin, Hubert Roth:
Connectivity-preserving Geometry Images.
Nicola Blefari-Melazzi, Andrea Detti, Mayutan Arumaithurai, K. K. Ramakrishnan:
Internames: a name-to-name principle for the future Internet.
Dinesh Govindaraj, Raman Sankaran, Sreedal Menon, Chiranjib Bhattacharyya:
Controlled Sparsity Kernel Learning.
Oshri Naparstek, Amir Leshem:
Expected time complexity of the auction algorithm and the push relabel algorithm for maximal bipartite matching on random graphs.
Cunjing Ge, Feifei Ma, Jian Zhang:
A Fast and Practical Method to Estimate Volumes of Convex Polytopes.


Michael Zibulevsky:
Speeding-Up Convergence via Sequential Subspace Optimization: Current State and Future Directions.
Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Solon P. Pissis, Tomasz Walen:
Fast Algorithm for Partial Covers in Words.

Steve N'Guyen, Clément Moulin-Frier, Jacques Droulez:
Decision Making under Uncertainty: A Quasimetric Approach.
Suryajith Chillara, Partha Mukhopadhyay:
On the Limits of Depth Reduction at Depth 3 Over Small Finite Fields.
Benoit Cornu, Lionel Seinturier, Martin Monperrus:
Reasoning and Improving on Software Resilience against Unanticipated Exceptions.
Peter Knabner, Jean Roberts:
Mathematical analysis of a discrete fracture model coupling Darcy flow in the matrix with Darcy-Forchheimer flow in the fracture.
Nabajyoti Medhi, Manjish Pal:
Devilsoid: A new paradigm for k-coverage in 3D Wireless Sensor Networks.
Chang Liu, Ramesh K. Sitaraman, Don Towsley:
Go-With-The-Winner: Client-Side Server Selection for Content Delivery.
Ahmed El Shafie, Ahmed K. Sultan, Tamer Khattab:
Band Allocation for Cognitive Radios with Buffered Primary and Secondary Users.
Nathan Lindzey, Ross M. McConnell:
Linear-Time Algorithms for Finding Tucker Submatrices and Lekkerkerker-Boland Subgraphs.


Dinesh Govindaraj, Tao Wang, S. V. N. Vishwanathan:
Modeling Attractiveness and Multiple Clicks in Sponsored Search Results.
Pedro Henrique Juliano Nardelli, Murilo S. Baptista, Carlos A. Pomalaza-Raez, Paulo Cardieri, Matti Latva-aho:
Network models for the structures of modern electric power grids.
Reza Nourjou, Michinori Hatayama, Stephen F. Smith, Atabak Sadeghi, Pedro A. Szekely:
Design of a GIS-based Assistant Software Agent for the Incident Commander to Coordinate Emergency Response Operations.


Rachel Cummings, Federico Echenique, Adam Wierman:
The Empirical Implications of Privacy-Aware Choice.
Ahmed El Shafie:
Optimal Random Access and Random Spectrum Sensing for an Energy Harvesting Cognitive Radio with and without Primary Feedback Leveraging.
Peng Li, Rodrigo C. de Lamare:
Distributed Iterative Detection Based on Reduced Message Passing for Networked MIMO Cellular Systems.
Henry Cohn, Shafi Goldwasser, Yael Tauman Kalai:
The impossibility of obfuscation with a universal simulator.
Liya Fan, Bo Gao, Xi Sun, Fa Zhang, Zhiyong Liu:
Improving the Load Balance of MapReduce Operations based on the Key Distribution of Pairs.
Andrew Winslow:
Active self-assembly using an insertion primitive and context-free grammars have equal expressive power.
Vaisagh Viswanathan T., Chong Eu Lee, Michael Harold Lees, Siew Ann Cheong, Peter M. A. Sloot:
Quantitative Comparison Between Crowd Models for Evacuation Planning and Evaluation.
Chao Zhang, Lei Zhang, Wei Fan, Jieping Ye:
Generalization Bounds for Representative Domain Adaptation.
Trupti M. Kodinariya:
Hybrid Approach to Face Recognition System using Principle component and Independent component with score based fusion process.
Gabriel Renault, Simon Schmidt:
On the Complexity of the Misère Version of Three Games Played on Graphs.
Constantin Siriteanu, Akimichi Takemura, Satoshi Kuriki, Donald St. P. Richards, Hyundong Shin:
Distribution of Schur Complement in Noncentral Wishart Matrix with Application to MIMO Zero-Forcing for Rician Fading.
N. S. Narayanaswamy, G. Ramakrishna:
On Minimum Average Stretch Spanning Trees in Polygonal 2-trees.
Omer Melih Gul, Elif Uysal-Biyikoglu:
UROP: A Simple, Near-Optimal Scheduling Policy for Energy Harvesting Sensors.
Pradeesha Ashok, Ninad Rajgopal, Sathish Govindarajan:
Selection Lemmas for various geometric objects.
Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch:
Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining.
David F. Nettleton, Vicenç Torra, Anton Dries:
The effect of constraints on information loss and risk for clustering and modification based graph anonymization methods.
Rodrigo C. de Lamare, Raimundo Sampaio Neto:
Sparsity-Aware Adaptive Algorithms Based on Alternating Optimization with Shrinkage.
Denzil Correa, Ashish Sureka:
Chaff from the Wheat : Characterization and Modeling of Deleted Questions on Stack Overflow.
Najiba Tagougui, Houcine Boubaker, Monji Kherallah, Adel M. Alimi:
A Hybrid NN/HMM Modeling Technique for Online Arabic Handwriting Recognition.
Ines Benali-Sougui, Minyar Sassi Hidri, Amel Grissa-Touzi:
Flexible SQLf query based on fuzzy linguistic summaries.
Chien Huynh, Phuong Huynh:
Student-based Collaborative Network for Delivering Information of Natural Disasters and Climate Adaptation.
Yann N. Dauphin, Gökhan Tür, Dilek Hakkani-Tür, Larry P. Heck:
Zero-Shot Learning and Clustering for Semantic Utterance Classification.
Khalid Jebari, Mohammed Madiafi, Abdelaziz El Moujahid:
Solving Poisson Equation by Genetic Algorithms.
Mounire Benhima, John P. Reilly, Zaineb Naamane, Meriam Kharbat, Mohammed Issam Kabbaj, Oussama Esqalli:
Design and implementation of the Customer Experience Data Mart in the Telecommunication Industry: Application Order-To-Payment end to end process.
Amy Fu, Parastoo Sadeghi, Muriel Médard:
Beyond the Min-Cut Bound: Deterministic Network Coding for Asynchronous Multirate Broadcast.
Muhammad S. Sohail, Muhammad Omer Bin Saeed, Syed Zeeshan Rizvi, Mobien Shoaib, Asrar U. H. Sheikh:
Low-Complexity Particle Swarm Optimization for Time-Critical Applications.
Michael Sherman, Gradeigh Clark, Yulong Yang, Shridatt Sugrim, Arttu Modig, Janne Lindqvist, Antti Oulasvirta, Teemu Roos:
User-Generated Free-Form Gestures for Authentication: Security and Memorability.
Nazareno Aguirre, Leila Ribeiro:
Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013.
Son Doan, Mike Conway, Tu Minh Phuong, Lucila Ohno-Machado:
Natural Language Processing in Biomedicine: A Unified System Architecture Overview.
Ling-Hua Chang, Jwo-Yuh Wu:
An Improved RIP-Based Performance Guarantee for Sparse Signal Recovery via Orthogonal Matching Pursuit.
Sanjeev Arora, Aditya Bhaskara, Rong Ge, Tengyu Ma:
More Algorithms for Provable Dictionary Learning.
Garrett A. Warnell, Sourabh Bhattacharya, Rama Chellappa, Tamer Basar:
Adaptive-Rate Compressive Sensing Using Side Information.
Thomas Sandholm, Dongman Lee, Bjorn Tegelund, Seon-Yeong Han, Byoungheon Shin, Byoungoh Kim:
CloudFridge: A Testbed for Smart Fridge Interactions.
Puneet Kumar, Dharminder Kumar, Narendra Kumar:
ICT in Local Self Governance: A Study of Rural India.
Wu Wu, Jiulin Hu, Xiaofang Huang, Huijie Chen, Bo Sun:
Flight trajectory recreation and playback system of aerial mission based on ossimplanet.
Ali Sheharyar, Othmane Bouhali:
A Framework for Creating a Distributed Rendering Environment on the Compute Clusters.
Moshe Lewenstein, Yakov Nekrich, Jeffrey Scott Vitter:
Space-Efficient String Indexing for Wildcard Pattern Matching.
Stephan Doerfel, Daniel Zoller, Philipp Singer, Thomas Niebler, Andreas Hotho, Markus Strohmaier:
Of course we share! Testing Assumptions about Social Tagging Systems.
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson:
Truth Table Invariant Cylindrical Algebraic Decomposition.
David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England:
Cylindrical Algebraic Sub-Decompositions.
Bruno Mery, Richard Moot, Christian Retoré:
Plurals: individuals and sets in a richly typed semantics.
Zhe Wang, Qinwei Zhang, Jing Yuan, Xiaogang Wang:
MRF denoising with compressed sensing and adaptive filtering.
Michael A. Bekos, Martin Gronemann, Chrysanthi N. Raftopoulou:
Two-Page Book Embeddings of 4-Planar Graphs.
(Withdrawn) Machine Assisted Authentication of Paper Currency: an Experiment on Indian Banknotes.
Bartlomiej Placzek, Marcin Bernas:
Uncertainty-based information extraction in wireless sensor networks for control applications.


Taraka Rama, Sudheer Kolachina, Lakshmi Bai B:
Quantitative methods for Phylogenetic Inference in Historical Linguistics: An experimental case study of South Central Dravidian.
Ishanu Chattopadhyay, Hod Lipson:
Computing Entropy Rate Of Symbol Sources & A Distribution-free Limit Theorem.
Ahmet Iscen, Anil Armagan, Pinar Duygulu:
What is usual in unusual videos? Trajectory snippet histograms for discovering unusualness.


Junjian Qi, Kai Sun, Shengwei Mei:
An Interaction Model for Simulation and Mitigation of Cascading Failures.
Sparsh Mittal:
A Study of Successive Over-relaxation Method Parallelization Over Modern HPC Languages.
Xi Li, Weiming Hu, Chunhua Shen, Anthony R. Dick, Zhongfei Zhang:
Context-Aware Hypergraph Construction for Robust Spectral Clustering.
Sparsh Mittal:
A Survey of Techniques For Improving Energy Efficiency in Embedded Computing Systems.
Hua-Wei Shen, Dashun Wang, Chaoming Song, Albert-László Barabási:
Modeling and Predicting Popularity Dynamics via Reinforced Poisson Processes.
Zizhan Zheng, Zhixue Lu, Prasun Sinha, Santosh Kumar:
Ensuring Predictable Contact Opportunity for Scalable Vehicular Internet Access On the Go.
Petr N. Vabishchevich, Petr E. Zakharov:
Domain decomposition methods with overlapping subdomains for time-dependent problems.
Qiang Huo, Tianxi Liu, Shaohui Sun, Lingyang Song, Bingli Jiao:
Selective Combining for Hybrid Cooperative Networks.

K. I. A. Derouiche:
Interaction entre mathématique et informatique Libre/Open Source par le logiciel mathématique.
Jie Xu, Yiannis Andreopoulos, Yuanzhang Xiao, Mihaela van der Schaar:
Non-stationary Resource Allocation Policies for Delay-constrained Video Streaming: Application to Video over Internet-of-Things-enabled Networks.

I. Laurence Aroquiaraj, K. Thangavel:
Pectoral Muscles Suppression in Digital Mammograms using Hybridization of Soft Computing Methods.
Justin Ziniel, Philip Schniter:
Binary Linear Classification and Feature Selection via Generalized Approximate Message Passing.
Anoop J. Sahoo, Md. Amir Khusru Akhtar:
Determining the Possibilities and Certainties in Network Participation for MANETS.
K. G. Unnikrishnan, B. Sundar Rajan:
Space-Time Coded Spatial Modulated Physical Layer Network Coding for Two-Way Relaying.

Barau Gafai Najashi, Feng Wenjiang, Mohammed Dikko Almustapha:
Spectrum Hole Prediction Based On Historical Data: A Neural Network Approach.
Dorina Thanou, David I. Shuman, Pascal Frossard:
Learning parametric dictionaries for graph signals.
Yue Guo, Xuelian Shen, Zhanfeng Zhu:
Research on the mobile robots intelligent path planning based on ant colony algorithm application in manufacturing logistics.



Azam Majooni, Mona Masood, Amir Akhavan:
A survey on the importance of visualization and social collaboration in academic digital libraries.
Shinkyu Park, Nuno C. Martins:
A Class of LTI Distributed Observers for LTI Plants: Necessary and Sufficient Conditions for Stabilizability.
Adeyinka K. Akanbi:
LB2CO: A Semantic Ontology Framework for B2C eCommerce Transaction on the Internet.
Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi:
On Verifying Resource Contracts using Code Contracts. 1-15
Pablo F. Castro, T. S. E. Maibaum:
Automated Reasoning over Deontic Action Logics with Finite Vocabularies. 16-30
Germán Regis, Fernando Villar, Nicolás Ricci:
Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties. 46-51
Valério Medeiros Júnior, David Déharbe:
BEval: A Plug-in to Extend Atelier B with Current Verification Technologies. 53-58
Manuel Giménez, Mariano M. Moscato, Carlos Gustavo López Pombo, Marcelo F. Frias:
HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications. 65-70
Gastón Scilingo, María Marta Novaira, Renzo Degiovanni:
Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking. 71-76

Chi Jin, Ziteng Wang, Junliang Huang, Yiqiao Zhong, Liwei Wang:
Differentially Private Data Releasing for Smooth Queries with Synthetic Database Output.
Chunxiao Cai, Yueming Cai, Xiangyun Zhou, Weiwei Yang, Wendong Yang:
When Does Relay Transmission Give a More Secure Connection in Wireless Ad Hoc Networks?
Malisa Vucinic, Bernard Tourancheau, Andrzej Duda:
Performance Comparison of the RPL and LOADng Routing Protocols in a Home Automation Scenario.
Lisa Allali, Olivier Hermant:
Semantic A-translation and Super-consistency entail Classical Cut Elimination.
Nanditha P. Rao, Shahbaz Sarik, Madhav P. Desai:
On the likelihood of multiple bit upsets in logic circuits.
Guangxu Zhu, Caijun Zhong, Himal A. Suraweera, Zhaoyang Zhang, Chau Yuen:
Outage Probability of Dual-Hop Multiple Antenna AF Systems with Linear Processing in the Presence of Co-Channel Interference.
Holger Hoos, Roland Kaminski, Marius Thomas Lindauer, Torsten Schaub:
Solver Scheduling via Answer Set Programming.
A. Ibrahim, Shivakumar Sastry, P. S. Sastry:
Discovering Compressing Serial Episodes from Event Sequences.
Pulkit Grover:
"Information-Friction" and its implications on minimum energy required for communication.
Sicco Verwer, Yingqian Zhang, Qing Chuan Ye:
Learning optimization models in the presence of unknown relations.
Sander P. A. Alewijnse, Quirijn W. Bouts, Alex P. ten Brink, Kevin Buchin:
Distribution-Sensitive Construction of the Greedy Spanner.
Paulo Shakarian, Hansheng Lei, Roy Lindelauf:
Power Grid Defense Against Malicious Cascading Failure.
Klaus Jaffe, Astrid Florez, Cristina M. Gomes, Daniel Rodríguez, Carla Achury:
On the biological and cultural evolution of shame: Using internet search tools to weight values in many cultures.
Manuj Mukherjee, Navin Kashyap:
On the Communication Complexity of Secret Key Generation in the Multiterminal Source Model.
Nicolas Galichet, Michèle Sebag, Olivier Teytaud:
Exploration vs Exploitation vs Safety: Risk-averse Multi-Armed Bandits.
Yu Chen, Weicheng Xie, Xiufen Zou:
A binary differential evolution algorithm learning from explored solutions.
Adrian Ispas, Christian Schneider, Gerd Ascheid, Reiner S. Thomä:
Analysis of the Local Quasi-Stationarity of Measured Dual-Polarized MIMO Channels.
Axel Bacher, Olivier Bodini, Alice Jacquot:
Efficient random sampling of binary and unary-binary trees via holonomic equations.
Michal Benes, Radek Stefan:
Hygro-thermo-mechanical analysis of spalling in concrete walls at high temperatures as a moving boundary problem.
Benjamin Roth, Tassilo Barth, Michael Wiegand, Mittul Singh, Dietrich Klakow:
Effective Slot Filling Based on Shallow Distant Supervision Methods.
Emmanuel Baccelli, Felix Juraschek, Oliver Hahm, Thomas C. Schmidt, Heiko Will, Matthias Wählisch:
Proceedings of the 3rd MANIAC Challenge, Berlin, Germany, July 27 - 28, 2013.
Zhenhua Yu, Arthur J. Redfern, G. Tong Zhou:
Using Delta-Sigma Modulators in Visible Light OFDM Systems.
Hessam Zakerzadeh, Charu C. Aggarwal, Ken Barker:
Towards Breaking the Curse of Dimensionality for High-Dimensional Privacy: An Extended Version.
Zichong Chen, Juri Ranieri, Runwei Zhang, Martin Vetterli:
DASS: Distributed Adaptive Sparse Sensing.
Zhiyang Liu, Lin Dai:
A Comparative Study of Downlink MIMO Cellular Networks with Co-located and Distributed Base-Station Antennas.
Ming Liu, Maryline Hélard, Jean-François Hélard, Matthieu Crussière:
A Fast Decodable Full-Rate STBC with High Coding Gain for 4x2 MIMO Systems.
Behzad Asadi, Lawrence Ong, Sarah J. Johnson:
The Capacity of Three-Receiver AWGN Broadcast Channels with Receiver Message Side Information.
Mathias Niepert, Guy Van den Broeck:
Tractability through Exchangeability: A New Perspective on Efficient Probabilistic Inference.
Karim Habak, Khaled A. Harras, Moustafa Youssef:
OSCAR: A Collaborative Bandwidth Aggregation System.

Hossein Shokri Ghadikolaei, Carlo Fischione:
Analysis and Optimization of Distributed Random Sensing Order in Cognitive Radio Networks.
Senjuti Basu Roy, Ioanna Lykourentzou, Saravanan Thirumuruganathan, Sihem Amer-Yahia, Gautam Das:
Optimization in Knowledge-Intensive Crowdsourcing.
Jiping Xiong, Qinghua Tang, Jian Zhao:
1-bit Compressive Data Gathering for Wireless Sensor Networks.
Tobias Kretz, Karsten Lehmann, Ingmar Hofsäß, Axel Leonhardt:
Dynamic Assignment in Microsimulations of Pedestrians.
Chandra Sekhar Vorugunti, Mrudula Sarvabhatla:
A Robust Biometric-Based Three-factor Remote User Authentication Scheme.
Michael Kläs, Frank Elberzhager, Jürgen Münch, Klaus Hartjes, Olaf von Graevemeyer:
Transparent Combination of Expert and Measurement Data for Defect Prediction: An Industrial Case Study.

Cristian Chilipirea, Andreea-Cristina Petre, Ciprian Dobre:
MANIAC Challenge: The Wolf-pack strategy.
Thomas Buchmann, Johannes Baumgartl, Dominik Henrich, Bernhard Westfechtel:
Towards A Domain-specific Language For Pick-And-Place Applications.
Ming Liu, Jean-François Hélard, Matthieu Crussière, Maryline Hélard:
Reduced-complexity maximum-likelihood decoding for 3D MIMO code.
Lei Wang, Jianfeng Zhan, Chunjie Luo, Yuqing Zhu, Qiang Yang, Yongqiang He, Wanling Gao, Zhen Jia, Yingjie Shi, Shujie Zhang, Chen Zheng, Gang Lu, Kent Zhan, Xiaona Li, Bizhu Qiu:
BigDataBench: a Big Data Benchmark Suite from Internet Services.
Gabriel B. T. Kalejaiye, João A. S. R. Rondina, Leonardo V. V. L. Albuquerque, Taís L. Pereira, Luiz F. O. Campos, Raphael A. S. Melo, Daniel S. Mascarenhas, Marcelo M. Carvalho:
Mobile Offloading in Wireless Ad Hoc Networks.


Diego Fernando C. Carrión L:
A Recursive Algorithmic Approach to the Finding of Permutations for the Combination of Any Two Sets.
Margarita Karkali, François Rousseau, Alexandros Ntoulas, Michalis Vazirgiannis:
Using temporal IDF for efficient novelty detection in text streams.


Mikhail Andreev, Akim Kumok:
The sum 2KA(x)-KP(x) over all prefixes x of some binary sequence can be infinite.
Paulo Shakarian, Gerardo I. Simari, Marcelo A. Falappa:
Belief Revision in Structured Probabilistic Argumentation.
Andrey Garnaev, Yezekael Hayel, Eitan Altman:
Multilevel Pricing Schemes in a Deregulated Wireless Network Market.
Yair Carmon, Shlomo Shamai:
Lower Bounds and Approximations for the Information Rate of the ISI Channel.
Imdad Ali Ismaili, Zeeshan Bhatti, Azhar Ali Shah:
Design & Development of the Graphical User Interface for Sindhi Language.
Zeeshan Bhatti, Asadullah Shah, Farruh Shahidi, Mostafa Karbasi:
Forward and Inverse Kinematics Seamless Matching Using Jacobian.
Karim G. Seddik:
On the Stability of Random Multiple Access with Feedback Exploitation and Queue Priority.
Colleen Swanson, Douglas R. Stinson:
Additional Constructions to Solve the Generalized Russian Cards Problem using Combinatorial Designs.
Devis Pantano:
Proposta di nuovi strumenti per comprendere come funziona la cognizione (Novel tools to understand how cognition works).
Lorna Stewart, Richard Anthony Valenzano:
On polygon numbers of circle graphs and distance hereditary graphs.
Zheng Wen, Daniel O'Neill, Hamid Reza Maei:
Optimal Demand Response Using Device Based Reinforcement Learning.
Alessandro Checco, Carlo Lancia, Douglas J. Leith:
Using Crowd sourcing for Local Topology Discovery in Wireless Networks.
Tao Xiong, Yukun Bao, Zhongyi Hu:
Beyond One-Step-Ahead Forecasting: Evaluation of Alternative Multi-Step-Ahead Forecasting Models for Crude Oil Prices.
Quan Quan, Lu Jiang, Kai-Yuan Cai:
Discrete-Time Output-Feedback Robust Repetitive Control for a Class of Nonlinear Systems by Additive State Decomposition.
James Hensman, Magnus Rattray, Neil D. Lawrence:
Fast variational inference for nonparametric clustering of structured time-series.
Enrico Paolini, Gianluigi Liva, Marco Chiani:
Coded Slotted ALOHA: A Graph-Based Method for Uncoordinated Multiple Access.
Eduardo Vega-Fuentes, Sonia Leon-del Rosario, Juan Manuel Cerezo-Sanchez, Aurelio Vega-Martinez:
Fuzzy Inference System for VOLT/VAR control in distribution substations in isolated power systems.
Oshri Naparstek, Amir Leshem, Eduard A. Jorswieck:
Distributed medium access control for energy efficient transmission in cognitive radios.
Tobias Kretz, Karsten Lehmann, Ingmar Hofsäß:
Pedestrian Route Choice by Iterated Equilibrium Search.

Ritesh Kolte, Urs Niesen, Piyush Gupta:
Energy-Efficient Communication over the Unsynchronized Gaussian Diamond Network.
Cedomir Stefanovic, Miyu Momoda, Petar Popovski:
Exploiting Capture Effect in Frameless ALOHA for Massive Wireless Random Access.
Helga Gudmundsdottir, Eyjólfur Ingi Ásgeirsson, Marijke H. L. Bodlaender, Joseph T. Foley, Magnús M. Halldórsson, Geir M. Järvelä, Henning Úlfarsson, Ymir Vigfusson:
Measurement Based Interference Models for Wireless Scheduling Algorithms.
Alessandro Sordoni, Jian-Yun Nie:
Looking at Vector Space and Language Models for IR using Density Matrices.
Noreen Jamil, Johannes Müller, Christof Lutteroth, Gerald Weber:
Speeding up SOR Solvers for Constraint-based GUIs with a Warm-Start Strategy.
(Withdrawn) A Solution of Degree Constrained Spanning Tree Using Hybrid GA.
Abhinav Sinha, Achilleas Anastasopoulos:
Generalized Proportional Allocation Mechanism Design for Unicast Service on the Internet.
Vladimir Braverman, Jonathan Katzman, Charles Seidell, Gregory Vorsanger:
Approximating Large Frequency Moments with O(n1-2/k) Bits.
(Withdrawn) Query Expansion with Biomedical Ontology Graph for Effective MEDLINE Document Retrieval.
Mathieu Leconte, Marc Lelarge, Laurent Massoulié:
Adaptive Replication in Distributed Content Delivery Networks.
Vignesh Jagadeesh, Robinson Piramuthu, Anurag Bhardwaj, Wei Di, Neel Sundaresan:
Large Scale Visual Recommendations From Street Fashion Images.
Arunabha Sen, Anisha Mazumder, Joydeep Banerjee, Arun Das, Randy Compton:
Identification of K Most Vulnerable Nodes in Multi-layered Network Using a New Model of Interdependency.
Stanislas Lauly, Alex Boulanger, Hugo Larochelle:
Learning Multilingual Word Representations using a Bag-of-Words Autoencoder.


Subhonmesh Bose, Steven H. Low, Thanchanok Teeraratkul, Babak Hassibi:
Equivalent relaxations of optimal power flow.



Young-Chul Shim:
Distributed Cloud Computing Environment Enhanced with Capabilities for Wide-Area Migration and Replication of Virtual Machines.
Dogan Corus, Per Kristian Lehre, Frank Neumann, Mojgan Pourhassan:
A Parameterized Complexity Analysis of Bi-level Optimisation with Evolutionary Algorithms.
Peter Liggesmeyer, Jens Heidrich, Jürgen Münch, Robert Kalcklösch, Henning Barthel, Dirk Zeckzer:
Visualization of Software and Systems as Support Mechanism for Integrated Software Project Control.
Md. Ibrahim Chowdhury, Mohammad Iqbal, Naznin Sultana, Faisal Rahman:
Analyzing an Analytical Solution Model for Simultaneous Mobility.
Martin Kowalczyk, Jürgen Münch, Masafumi Katahira, Tatsuya Kaneko, Yuko Miyamoto, Yumi Koishi:
Aligning Software-related Strategies in Multi-Organizational Settings.
Adam Trendowicz, Michael Kläs, Constanza Lampasona, Jürgen Münch, Christian Körner, Matthias Saft:
Model-based Product Quality Evaluation with Multi-Criteria Decision Analysis.
Tao Xiong, Yukun Bao, Zhongyi Hu:
Multiple-output support vector regression with a firefly algorithm for interval-valued stock price index forecasting.
Jose Dario Luis Delgado, Jesus Maximo Ramirez Santiago:
Key Performance Indicators for QOS Assessment in TETRA Networks.
Silu Huang, James Cheng, Huanhuan Wu:
Temporal Graph Traversals: Definitions, Algorithms, and Applications.
Yukun Bao, Zhongyi Hu, Tao Xiong:
A PSO and Pattern Search based Memetic Algorithm for SVMs Parameters Optimization.
Ankur Sinha, Pekka Malo, Kalyanmoy Deb:
Test Problem Construction for Single-Objective Bilevel Optimization.
Rania Morsi, Diomidis S. Michalopoulos, Robert Schober:
Multi-user Scheduling Schemes for Simultaneous Wireless Information and Power Transfer Over Heterogeneous Fading Channels.
Stelios Stefanatos, Angeliki Alexiou:
Exploiting Frequency and Spatial Dimensions in Small Cell Wireless Networks.
Vu Nguyen, Dinh Q. Phung, XuanLong Nguyen, Svetha Venkatesh, Hung Hai Bui:
Bayesian Nonparametric Multilevel Clustering with Group-Level Contexts.
Bernardetta Addis, Giuliana Carello, Antonio Capone, Luca G. Gianoli, Brunilde Sansò:
Robust Energy Management for Green and Survivable IP Networks.
Yassine Maleh, Abdellah Ezzati:
A review of security attacks and Intrusion Detection Schemes in Wireless Sensor Networks.
Raphael Felipe de Carvalho Prates, Guillermo Cámara Chávez, William Robson Schwartz, David Menotti:
Brazilian License Plate Detection Using Histogram of Oriented Gradients and Sliding Windows.
Michele Dolfi, Jan Gukelberger, Andreas Hehn, J. Imriska, K. Pakrouski, T. F. Rønnow, Matthias Troyer, I. N. Zintchenko, Fernando Seabra Chirigati, Juliana Freire, Dennis E. Shasha:
A model project for reproducible papers: critical temperature for the Ising model on a square lattice.
C. Jeyabharathi, A. Pethalakshmi:
New Approaches with Chord in Efficient P2P Grid Resource Discovery.
Samuele Giraudo, Jean-Gabriel Luque, Ludovic Mignot, Florent Nicart:
Operads, quasiorders and regular languages.
Shoubin Kong, Qiaozhu Mei, Ling Feng, Zhe Zhao, Fei Ye:
On the Real-time Prediction Problems of Bursting Hashtags in Twitter.
Olusanya Y. Agunbiade, Tranos Zuva, Awosejo O. Johnson, Keneilwe Zuva:
Enhancement performance of road recognition system of autonomous robots in shadow scenario.
Vanaja Ramaswamy, Abinaya Sivarasu, Bharghavi Sridharan, Hamsalekha Venkatesh:
A Bi-Scheduler Algorithm for Frame Aggregation in IEEE 802.11n.
Danny Hermelin, Gad M. Landau, Yuri Rabinovich, Oren Weimann:
Binary Jumbled Pattern Matching via All-Pairs Shortest Paths.
Stefan Hougardy, Mirko Wilde:
On the Nearest Neighbor Rule for the Metric Traveling Salesman Problem.
H. L. Prasad, Prashanth L. A., Shalabh Bhatnagar:
Algorithms for Nash Equilibria in General-Sum Stochastic Games.
Dragan Vidakovic, Dusko Parezanovic, Zoran Vucetic:
Minimizing the Time of Detection of Large (Probably) Prime Numbers.
Rohit Negi, Vinay Uday Prabhu, Miguel R. D. Rodrigues:
Latent Sentiment Detection in Online Social Networks: A Communications-oriented View.
Alexey A. Frolov, Pavel S. Rybin, Victor V. Zyablov:
On the Capacity of the Multiuser Vector Adder Channel.
Ahmed El Shafie, Tamer Khattab:
Maximum Throughput for a Cognitive Radio Multi-Antenna User with Multiple Primary Users.
Alexey A. Frolov, Pavel S. Rybin:
Upper Bounds on the Minimum Distance of Quasi-Cyclic LDPC codes Revisited.
Carlos Pedro Gonçalves:
Emotional Responses in Artificial Agent-Based Systems: Reflexivity and Adaptation in Artificial Life.

Alyssa Goodman, Alberto Pepe, Alexander W. Blocker, Christine L. Borgman, Kyle Cranmer, Mercè Crosas, Rosanne Di Stefano, Yolanda Gil, Paul T. Groth, Margaret Hedstrom, David W. Hogg, Vinay Kashyap, Ashish Mahabal, Aneta Siemiginowska, Aleksandra Slavkovic:
10 Simple Rules for the Care and Feeding of Scientific Data.
(Withdrawn) Ontology - Based Dynamic Business Process Customization.
Stefanie Roos, Thorsten Strufe:
NextBestOnce: Achieving Polylog Routing despite Non-greedy Embeddings.
Mina Karzand, Lizhong Zheng:
Achievability of Nonlinear Degrees of Freedom in Correlatively Changing Fading Channels.
Cai Gao, Chao Yan, Daijun Wei, Yong Hu, Sankaran Mahadevan, Yong Deng:
A biologically inspired model for transshipment problem.



Sergio Grammatico, Xiaojing Zhang, Kostas Margellos, Paul Goulart, John Lygeros:
A scenario approach for non-convex control design.
Te-Yuan Huang, Ramesh Johari, Nick McKeown, Matthew Trunnell, Mark Watson:
Using the Buffer to Avoid Rebuffers: Evidence from a Large Video Streaming Service.
Georges Kaddoum, Pascal Giard:
Analog Network Coding for Multi-User Spread-Spectrum Communication Systems.
Alireza Goudarzi, Peter Banda, Matthew R. Lakin, Christof Teuscher, Darko Stefanovic:
A Comparative Study of Reservoir Computing for Temporal Signal Processing.
Yu-Chih Huang, Krishna R. Narayanan, Nihat Engin Tunali:
Multistage Compute-and-Forward with Multilevel Lattice Codes Based on Product Constructions.
P. P. Bhattacharya, Ananya Sarkar, Indranil Sarkar, Subhajit Chatterjee:
An ANN Based Call Handoff Management Scheme for Mobile Cellular Network.
Sitthichai Laisema, Panita Wannapiroon:
Collaborative learning model with virtual team in ubiquitous learning environment using creative problem solving process.
Noppadon Phumeechanya, Panita Wannapiroon:
Ubiquitous Scaffold Learning Environment Using Problem-based Learning to Enhance Problem-solving Skills and Context Awareness.
Md. Palash Uddin, Ashfaque Ahmed, Md. Delowar Hossain, Masud Ibn Afjal, Shah Md. Tanvir Siddiquee:
High speed data retrieval from national data center (ndc) reducing time and ignoring spelling error in search key based on double metaphone algorithm.
Hemant Kumar Aggarwal, Angshul Majumdar:
Extension of Sparse Randomized Kaczmarz Algorithm for Multiple Measurement Vectors.
Kamran Najeebullah, Kifayat-Ullah Khan, Waqas Nawaz, Young-Koo Lee:
BPP: Large Graph Storage for Efficient Disk Based Processing.
Loet Leydesdorff, Han Woo Park:
Can Synergy in Triple-Helix Relations be Quantified? A Review of the Development of the Triple-Helix Indicator.
Zhe Wang, Vaneet Aggarwal, Xiaodong Wang:
Iterative Dynamic Water-filling for Fading Multiple-Access Channels with Energy Harvesting.
Marco Dalai:
An Elias Bound on the Bhattacharyya Distance of Codes for Channels with a Zero-Error Capacity.
Ghassan Samara, Tareq Alhmiedat, Amer O. Abu Salem:
Dynamic Safety Message Power Control in VANET Using PSO.
Zhe Wang, Vaneet Aggarwal, Xiaodong Wang:
Power Allocation for Energy Harvesting Transmitter with Causal Information.
Lucas Assirati, Alexandre Souto Martinez, Odemir Martinez Bruno:
Satellite image classification and segmentation using non-additive entropy.
Frederik Armknecht, Tommaso Gagliardoni, Stefan Katzenbeisser, Andreas Peter:
General Impossibility of Group Homomorphic Encryption in the Quantum World.
Ryan O'Donnell, John Wright, Chenggang Wu, Yuan Zhou:
Hardness of robust graph isomorphism, Lasserre gaps, and asymmetry of random graphs.
Werner Mach, Benedikt Pittl, Erich Schikuta:
A Prediction Model for the Probability of SLA Matching in Consumer Provider Contracting of Web Services.
Michael B. Cohen, Gary L. Miller, Jakub W. Pachocki, Richard Peng, Shen Chen Xu:
Stretching Stretch.
Barry Hurley, Serdar Kadioglu, Yuri Malitsky, Barry O'Sullivan:
Transformation-based Feature Computation for Algorithm Portfolios.
Marko Horvat, Nikola Bogunovic, Kresimir Cosic:
STIMONT: A core ontology for multimedia stimuli description.
Andino Maseleno, Md. Mahmud Hasan:
Dempster-Shafer Theory for Move Prediction in Start Kicking of The Bicycle Kick of Sepak Takraw Game.
Hatm Alkadeki, Xingang Wang, Michael O. Odetayo:
Estimation of Medium Access Control Layer Packet Delay Distribution for IEEE 802.11.
Sinan Yildirim, A. Taylan Cemgil, Sumeetpal S. Singh:
An Online Expectation-Maximisation Algorithm for Nonnegative Matrix Factorisation Models.
Masato Tajima, Koji Okino, Tatsuto Murayama:
Reduction of Error-Trellises for Tail-Biting Convolutional Codes Using Shifted Error-Subsequences.
Tao Xiong, Yukun Bao, Zhongyi Hu:
Does Restraining End Effect Matter in EMD-Based Modeling Framework for Time Series Prediction? Some Experimental Evidences.
Yukun Bao, Tao Xiong, Zhongyi Hu:
Multi-Step-Ahead Time Series Prediction using Multiple-Output Support Vector Regression.
Randall Dougherty, Eric Freiling, Kenneth Zeger:
Characteristic-Dependent Linear Rank Inequalities with Applications to Network Coding.
Abhijit Bhattacharya, Akhila Rao, Kolar Purushothama Naveen, P. P. Nishanth, S. V. R. Anand, Anurag Kumar:
QoS Constrained Optimal Sink and Relay Placement in Planned Wireless Sensor Networks.
Trisiladevi C. Nagavi, Nagappa U. Bhajantri:
Progressive Filtering Using Multiresolution Histograms for Query by Humming System.
Pooja Vyavahare, Nutan Limaye, D. Manjunath:
Efficient Embedding of Functions in Weighted Communication Networks.
Tongjiang Yan, Zhixiong Chen, Bao Li:
A General Construction of Binary Sequences with Optimal Autocorrelation.
Hsueh-I Lu:
Linear-Time Compression of Bounded-Genus Graphs into Information-Theoretically Optimal Number of Bits.
Deepali Virmani, Ankita Soni, Nikhil Batra:
Reliability Analysis to overcome Black Hole Attack in Wireless Sensor Network.
Deepali Virmani, Manas Hemrajani, Shringarica Chandel:
Exponential Trust Based Mechanism to Detect Black Hole attack in Wireless Sensor Network.
Jamil Hamodi, Ravindra C. Thool, Khaled Salah, Anwar Alsagaf, Yousef Holba:
Performance Study of Mobile TV over Mobile WiMAX Considering Different Modulation and Coding Techniques.

Sundeep Rangan, Theodore S. Rappaport, Elza Erkip:
Millimeter Wave Cellular Wireless Networks: Potentials and Challenges.
Pål Anders Floor, Anna N. Kim, Tor A. Ramstad, Ilangko Balasingham, Niklas Wernersson, Mikael Skoglund:
Zero-Delay Joint Source-Channel Coding for a Multivariate Gaussian on a Gaussian MAC.
Mahmood A. Rashid, Md. Tamjidul Hoque, Abdul Sattar:
Association Rules Mining Based Clinical Observations.
Chunhua Geng, Hua Sun, Syed Ali Jafar:
On the Optimality of Treating Interference as Noise: General Message Sets.

Andrea Ballatore, David C. Wilson, Michela Bertolotto:
A Survey of Volunteered Open Geo-Knowledge Bases in the Semantic Web.

Deepali Virmani, Vikrant Malhotra, Ridhi Tyagi:
Sentiment Analysis Using Collaborated Opinion Mining.
Imdad Ali Ismaili, Zeeshan Bhatti, Azhar Ali Shah:
Towards a Generic Framework for the Development of Unicode Based Digital Sindhi Dictionaries.
Hong Sun, Vincenzo De Florio, Ning Gui, Chris Blondia:
The Missing Ones: Key Ingredients Towards Effective Ambient Assisted Living Systems.
Cem Rifki Aydin, Ali Erkan, Tunga Güngör, Hidayet Takçi:
Dictionary-Based Concept Mining: An Application for Turkish.
Pokkuluri Kiran Sree, Inampudi Ramesh Babu:
Improving Quality of Clustering using Cellular Automata for Information retrieval.
Jérôme Gilles, Kathryn Heal:
A parameterless scale-space approach to find meaningful modes in histograms - Application to image and spectrum segmentation.
Pokkuluri Kiran Sree, Inampudi Ramesh Babu, N. S. S. S. N. Usha Devi:
PSMACA: An Automated Protein Structure Prediction Using MACA (Multiple Attractor Cellular Automata).
Shuai Ma, Kaiyu Feng, Haixun Wang, Jianxin Li, Jinpeng Huai:
Distance Landmarks Revisited for Road Graphs.
Hua Sun, Syed Ali Jafar:
On the Optimality of Treating Interference as Noise for K user Parallel Gaussian Interference Networks.


Yang Ding, Lingfei Jin, Chaoping Xing:
Erasure List-Decodable Codes from Random and Algebraic Geometry Codes.
Vedran Novakovic:
A hierarchically blocked Jacobi SVD algorithm for single and multiple graphics processing units.
Fabio Bella, Jürgen Münch, Alexis Ocampo:
Capturing Evidence From Wireless Internet Services Development.
Rourab Paul, Amlan Chakrabarti, Ranjan Ghosh:
Hardware Implementation of four byte per clock RC4 algorithm.
Ansgar Lamersdorf, Jürgen Münch, Alicia Fernández del Viso Torre, Carlos Rebate Sánchez, H. Dieter Rombach:
Estimating the Effort Overhead in Global Software Development.
Ansgar Lamersdorf, Jürgen Münch, Alicia Fernández del Viso Torre, Carlos Rebate Sánchez, Markus Heinz, H. Dieter Rombach:
A Rule-based Model for Customized Risk Identification in Distributed Software Development Projects.
Rourab Paul, Amlan Chakrabarti, Ranjan Ghosh:
Fault Detection for RC4 Algorithm and its Implementation on FPGA Platform.
Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
Transformation of Attributed Structures with Cloning (Long Version).
Michael Kläs, Haruka Nakao, Frank Elberzhager, Jürgen Münch:
Predicting Defect Content and Quality Assurance Effectiveness by Combining Expert Judgment and Defect Data - A Case Study.
M. C. Hanumantharaju, M. T. Gopala Krishna:
Design of novel architectures and field programmable gate arrays implementation of two dimensional gaussian surround function.
Loet Leydesdorff, Floortje Alkemade, Gaston Heimeriks, Rinke Hoekstra:
Geographic and Technological Perspectives on "Photovoltaic Cells: " Patents as Instruments for Exploring Innovation Dynamics.
Hong Sun, Vincenzo De Florio, Ning Gui, Chris Blondia:
Participant: A New Concept for Optimally Assisting the Elder People.
Yunjin Chen, René Ranftl, Thomas Pock:
Insights into analysis operator learning: From patch-based sparse models to higher-order MRFs.
Alan Brunton, Timo Bolkart, Stefanie Wuhrer:
Multilinear Wavelets: A Statistical Shape Space for Human Faces.
Yakiv O. Kalinovsky, Dmitry V. Lande, Yuliya E. Boyarinova, Iana V. Khitsko:
Inifnite hypercomplex number system factorization methods.
Md. Naseef-Ur-Rahman Chowdhury, Suvankar Paul, Kazi Zakia Sultana:
Statistical Analysis based Hypothesis Testing Method in Biological Knowledge Discovery.
David Baelde, Stéphanie Delaune, Lucca Hirschi:
A reduced semantics for deciding trace equivalence using constraint systems.
Lutz Bornmann, Moritz Stefaner, Félix de Moya Anegón, Rüdiger Mutz:
What is the effect of country-specific characteristics on the research performance of scientific institutions? Using multi-level statistical models to rank and map universities and research-focused institutions worldwide.
Tomasz Kociumaka, Marek Cygan:
Constant Factor Approximation for Capacitated k-Center with Outliers.
A. Malamou, C. Pandis, Panagiotis Frangos, Petros S. Stefaneas, A. Karakasiliotis, D. Kodokostas:
Application of the Modified Fractal Signature Method for Terrain Classification from Synthetic Aperture Radar Images.
Sukanta Sinha, Rana Dattagupta, Debajyoti Mukhopadhyay:
An Alternate Approach for Designing a Domain Specific Image Search Prototype Using Histogram.
Raju Dara, Ch. Satyanarayana, A. Govardhan:
Front End Data Cleaning And Transformation In Standard Printed Form Using Neural Models.
Anup Bhattacharya, Ragesh Jaiswal, Nir Ailon:
A tight lower bound instance for k-means++ in constant dimension.
Vincenzo De Florio, Geert Deconinck, Rudy Lauwereins:
The EFTOS Voting Farm: A Software Tool for Fault Masking in Message Passing Parallel Environments.
Alexander L. Fradkov, Dmitry S. Shalymov:
Information Entropy Dynamics and Maximum Entropy Production Principle.
Ralf Steinberger:
A survey of methods to ease the development of highly multilingual text mining applications.
Marco Turchi, Martin Atkinson, Alastair Wilcox, Brett Crawley, Stefano Bucci, Ralf Steinberger, Erik Van der Goot:
ONTS: "Optima" News Translation System.
Larry Bull:
Exploiting generalisation symmetries in accuracy-based learning classifier systems: An initial study.
Dawei Ying, Frederick W. Vook, Timothy A. Thomas, David J. Love, Amitava Ghosh:
Kronecker Product Correlation Model and Limited Feedback Codebook Design in a 3D Channel Model.
Brendan P. W. Ames, Andrew Beveridge, Rosalie Carlson, Claire Djang, Volkan Isler, Stephen Ragain, Maxray Savage:
A Leapfrog Strategy for Pursuit-Evasion in a Polygonal Environment.
Vincenzo De Florio, Geert Deconinck, Mario Truyens, Wim Rosseel, Rudy Lauwereins:
A Hypermedia Distributed Application for Monitoring and Fault-Injection in Embedded Fault-tolerant Parallel Programs.
Vincenzo De Florio, Geert Deconinck, Rudy Lauwereins:
Software Tool Combining Fault Masking with User-Defined Recovery Strategies.
James Elliott, Mark Hoemmen, Frank Mueller:
Resilience in Numerical Methods: A Position on Fault Models and Methodologies.
Richard A. Formato:
Pi Fractions for Generating Uniformly Distributed Sampling Points in Global Search and Optimization Algorithms.
Maxime Chevalier-Boisvert, Marc Feeley:
Removing Dynamic Type Tests with Context-Driven Basic Block Versioning.
Pokkuluri Kiran Sree, Inampudi Ramesh Babu:
Investigating Cellular Automata Based Network Intrusion Detection System For Fixed Networks (NIDWCA).
Xiaoming Chen, Lei Lei, Huazi Zhang, Chau Yuen:
On the Secrecy Outage Capacity of Physical Layer Security in Large-Scale MIMO Relaying Systems with Imperfect CSI.

Shashank Mouli Satapathy, Santanu Kumar Rath:
Use Case Point Approach Based Software Effort Estimation using Various Support Vector Regression Kernel Methods.
(Withdrawn) A Framework of Performance Analysis for Distributed Antenna Systems Based on Random Matrix Theory.


Farzad Farnoud, Moshe Schwartz, Jehoshua Bruck:
Rate-Distortion for Ranking with Incomplete Information.
Per Zetterberg:
Interference Alignment (IA) and Coordinated Multi-Point (CoMP) overheads and RF impairments: testbed results.
Ming Liu, Matthieu Crussière, Maryline Hélard, Jean-François Hélard:
Achieving Low-Complexity Maximum-Likelihood Detection for the 3D MIMO Code.
Matteo Zignani, Christian Quadri, Sabrina Gaito, Gian Paolo Rossi:
Exploiting all phone media? A multidimensional network analysis of phone users' sociality.
Marco Mondelli, Seyed Hamed Hassani, Rüdiger L. Urbanke:
From Polar to Reed-Muller Codes: a Technique to Improve the Finite-Length Performance.
Lauri Anttila, Dani Korpi, Ville Syrjälä, Mikko Valkama:
Cancellation of Power Amplifier Induced Nonlinear Self-Interference in Full-Duplex Transceivers.
Songcen Xu, Rodrigo Caiado de Lamare, Harold Vincent Poor:
Dynamic Topology Adaptation and Distributed Estimation for Smart Grids.
Ahmed El Shafie, Ahmed K. Sultan, Tamer Khattab:
Relay-Assisted Primary and Secondary Transmissions.
Mohamad Noureddine, Fadi A. Zaraket, Ali S. Elzein:
Synthesis of Sequential Extended Regular Expressions for Verification.
Ahmed El Shafie, Ahmed K. Sultan:
Comments on "Optimal Utilization of a Cognitive Shared Channel with a Rechargeable Primary Source Node".
Chong-Jing Sun, Philip S. Yu, Xiangnan Kong, Yan Fu:
Privacy Preserving Social Network Publication Against Mutual Friend Attacks.
Giuseppe Durisi, Alberto Tarable, Christian Camarda, Rahul Devassy, Guido Montorsi:
Capacity bounds for MIMO microwave backhaul links affected by phase noise.
Jihao Fan, Hanwu Chen:
Constructions of Pure Asymmetric Quantum Alternant Codes Based on Subclasses of Alternant Codes.
Alexander V. Mantzaris:
Uncovering nodes that spread information between communities in social networks.
Henning Maier, Rudolf Mathar:
Cyclic Interference Alignment and Cancellation in 3-User X-Networks with Minimal Backhaul.
K. Paramesha, K. C. Ravishankar:
Optimization Of Cross Domain Sentiment Analysis Using Sentiwordnet.

Deepjyoti Deka, Ross Baldick, Sriram Vishwanath:
Hidden Attacks on Power Grid: Optimal Attack Strategies and Mitigation.
Diego Valsesia, Enrico Magli:
A Novel Rate Control Algorithm for Onboard Predictive Coding of Multispectral and Hyperspectral Images.
Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi:
The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies.
François Cuvelier, Caroline Japhet, Gilles Scarella:
An efficient way to perform the assembly of finite element matrices in vector languages.
Yongge Wang:
On the Design of LIL Tests for (Pseudo) Random Generators and Some Experimental Results.
Jibran Yousafzai, Zoran Cvetkovic, Peter Sollich, Matthew Ager:
A Subband-Based SVM Front-End for Robust ASR.
Jason D. Heebl, Erin M. Thomas, Robert P. Penno, Anthony Grbic:
Comprehensive Analysis and Measurement of Frequency-Tuned and Impedance-Tuned Wireless Non-Radiative Power Transfer Systems.
Dani Korpi, Sathya Venkatasubramanian, Taneli Riihonen, Lauri Anttila, Strasdosky Otewa, Clemens Icheln, Katsuyuki Haneda, Sergei Tretyakov, Mikko Valkama, Risto Wichman:
Advanced Self-interference Cancellation and Multiantenna Techniques for Full-Duplex Radios.
Jean Gregoire, Emilio Frazzoli, Arnaud de La Fortelle, Tichakorn Wongpiromsarn:
Back-pressure traffic signal control with unknown routing rates.

Ashraf Al Daoud, George Kesidis, Jörg Liebeherr:
An Iterated Game of Uncoordinated Sharing of Licensed Spectrum Using Zero-Determinant Strategies.
Aly El Gamal, Venugopal V. Veeravalli:
Flexible Backhaul Design and Degrees of Freedom for Linear Interference Networks.
Guohua Wu:
Multi-agent across-neighbourhood search: a simple and efficient method for numerical optimization.
Antonio Elias Fabris, Valério Ramos Batista:
A programme to determine the exact interior of any connected digital picture.
Ahmed El Shafie, Tamer Khattab:
Cooperative Cognitive Relaying Protocol for an Energy Harvesting Cognitive Radio User.
Xiaowei Zhou, Can Yang, Hongyu Zhao, Weichuan Yu:
Low-Rank Modeling and Its Applications in Image Analysis.
Huseyin Birkan Yilmaz, Na-Rae Kim, Chan-Byoung Chae:
Effect of ISI Mitigation on Modulation Techniques in Communication via Diffusion.
Avneesh Saluja, Mahdi Pakdaman, Dongzhen Piao, Ankur P. Parikh:
Infinite Mixed Membership Matrix Factorization.
Sruti Agarwal, Sangeet Saha, Rourab Paul, Amlan Chakrabarti:
Performance Evaluation of ECC in Single and Multi Processor Architectures on FPGA Based Embedded System.
Ya'akov Gal, Avi Pfeffer:
Networks of Influence Diagrams: A Formalism for Representing Agents' Beliefs and Decision-Making Processes.
Laurent Miclet, Sabri Bayoudh, Arnaud Delhay:
Analogical Dissimilarity: Definition, Algorithms and Two Experiments in Machine Learning.
Nicolas Meuleau, Emmanuel Benazera, Ronen I. Brafman, Eric A. Hansen, Mausam:
A Heuristic Search Approach to Planning with Continuous Resources in Stochastic Domains.
Yi Wang, Nevin Lianwen Zhang, Tao Chen:
Latent Tree Models and Approximate Inference in Bayesian Networks.
Lucas Bordeaux, Marco Cadoli, Toni Mancini:
A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability.
Tinne De Laet, Joris De Schutter, Herman Bruyninckx:
A Rigorously Bayesian Beam Model and an Adaptive Full Scan Model for Range Finders in Dynamic Environments.
Enrico H. Gerding, Rajdeep K. Dash, Andrew Byde, Nicholas R. Jennings:
Optimal Strategies for Simultaneous Vickrey Auctions with Perfect Substitutes.
Balázs Csanád Csáji, László Monostori:
Adaptive Stochastic Resource Control: A Machine Learning Approach.
Stéphane Ross, Joelle Pineau, Sébastien Paquet, Brahim Chaib-draa:
Online Planning Algorithms for POMDPs.




Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni:
Computational Logic Foundations of KGP Agents.
Didier Dubois, Hélène Fargier, Jean-François Bonnefon:
On the Qualitative Comparison of Decisions Having Positive and Negative Features.
Md. Shiplu Hawlader, Saifuddin Md. Tareeq:
Amino Acid Interaction Network Prediction using Multi-objective Optimization.
Saher Esmeir, Shaul Markovitch:
Anytime Induction of Low-cost, Low-error Classifiers: a Sampling-based Approach.
Robert Mateescu, Rina Dechter, Radu Marinescu:
AND/OR Multi-Valued Decision Diagrams (AOMDDs) for Graphical Models.


Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson:
The Computational Complexity of Dominance and Consistency in CP-Nets.
Sherief Abdallah, Victor R. Lesser:
A Multiagent Reinforcement Learning Algorithm with Non-linear Dynamics.
Prashant Doshi, Piotr J. Gmytrasiewicz:
Monte Carlo Sampling Methods for Approximating Interactive POMDPs.
Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi:
Solving #SAT and Bayesian Inference with Backtracking Search.
Maxim Binshtok, Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Shimony:
Generic Preferences over Subsets of Structured Objects.
Daniel S. Bernstein, Christopher Amato, Eric A. Hansen, Shlomo Zilberstein:
Policy Iteration for Decentralized Control of Markov Decision Processes.
Amarjeet Singh, Andreas Krause, Carlos Guestrin, William J. Kaiser:
Efficient Informative Sensing using Multiple Robots.
Roberto Sebastiani, Michele Vescovi:
Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability.
Steven de Jong, Simon Uyttendaele, Karl Tuyls:
Learning to Reach Agreement in a Continuous Ultimatum Game.
Talal Rahwan, Sarvapali Dyanand Ramchurn, Nicholas R. Jennings, Andrea Giovannucci:
An Anytime Algorithm for Optimal Coalition Structure Generation.
Omer Giménez, Anders Jonsson:
Planning over Chain Causal Graphs for Variables with Domains of Size 5 Is NP-Hard.
Héctor Palacios, Hector Geffner:
Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width.
Vicente Ruiz de Angulo, Carme Torras:
Exploiting Single-Cycle Symmetries in Continuous Constraint Problems.
Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore:
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection.
Marco Zaffalon, Enrique Miranda:
Conservative Inference Rule for Uncertain Reasoning under Incompleteness.
Sarvapali Dyanand Ramchurn, Claudio Mezzetti, Andrea Giovannucci, Juan A. Rodríguez-Aguilar, Rajdeep K. Dash, Nicholas R. Jennings:
Trust-Based Mechanisms for Robust and Efficient Task Allocation in the Presence of Execution Uncertainty.


José Enrique Gallardo, Carlos Cotta, Antonio J. Fernández:
Solving Weighted Constraint Satisfaction Problems with Memetic/Exact Hybrid Algorithms.
Facundo Bromberg, Dimitris Margaritis, Vasant G. Honavar:
Efficient Markov Network Structure Discovery Using Independence Tests.
Yllias Chali, Shafiq Rayhan Joty, Sadid A. Hasan:
Complex Question Answering: Unsupervised Learning Approaches and Experiments.
Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex:
Bounds Arc Consistency for Weighted CSPs.
Estela Saquete, José Luis Vicedo González, Patricio Martínez-Barco, Rafael Muñoz, Hector Llorens:
Enhancing QA Systems with Complex Temporal Question Processing Capabilities.
Hai Leong Chieu, Wee Sun Lee:
Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem.
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran:
Modularity Aspects of Disjunctive Stable Models.

Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
The DL-Lite Family and Relations.
Harr Chen, S. R. K. Branavan, Regina Barzilay, David R. Karger:
Content Modeling Using Latent Permutations.
William Yeoh, Ariel Felner, Sven Koenig:
BnB-ADOPT: An Asynchronous Branch-and-Bound DCOP Algorithm.
Frank Hutter, Thomas Stützle, Kevin Leyton-Brown, Holger H. Hoos:
ParamILS: An Automatic Algorithm Configuration Framework.
Uzi Zahavi, Ariel Felner, Neil Burch, Robert C. Holte:
Predicting the Performance of IDA* using Conditional Distributions.
Xiao Lu, Ping Wang, Dusit Niyato, Ekram Hossain:
Dynamic Spectrum Access in Cognitive Radio Networks with RF Energy Harvesting.
Saurabh Varshney, Jyoti Bajpai:
Improving Performance Of English-Hindi Cross Language Information Retrieval Using Transliteration Of Query Terms.
Hongxing Li, Nitin Vaidya:
Optimal CSMA-based Wireless Communication with Worst-case Delay and Non-uniform Sizes.

Vahid Jamali, Nikola Zlatanov, Robert Schober:
Adaptive Mode Selection for Bidirectional Relay Networks - Fixed Rate Transmission.
Ville Syrjälä, Mikko Valkama, Lauri Anttila, Taneli Riihonen, Dani Korpi:
Analysis of Oscillator Phase-Noise Effects on Self-Interference Cancellation in Full-Duplex OFDM Radio Transceivers.


Dani Korpi, Taneli Riihonen, Ville Syrjälä, Lauri Anttila, Mikko Valkama, Risto Wichman:
Full-Duplex Transceiver System Calculations: Analysis of ADC and Linearity Challenges.
Habib B. A. Sidi, Zwi Altman, Abdoulaye Tall:
Self-Optimizing Mechanisms for EMF Reduction in Heterogeneous Networks.
Abhishek Jain, Piyush Kumar Gupta, Hima Gupta, Sachish Dhar:
Accelerating SystemVerilog UVM Based VIP to Improve Methodology for Verification of Image Signal Processing Designs Using HW Emulator.
Alex E. Geyer, Reza Nikjah, Sergiy A. Vorobyov, Norman C. Beaulieu:
Equivalent Codes, Optimality, and Performance Analysis of OSTBC: Textbook Study.
Omid Taheri, Sergiy A. Vorobyov:
Reweighted l1-norm Penalized LMS for Sparse Channel Estimation and Its Analysis.
Jie Gao, Sergiy A. Vorobyov, Hai Jiang:
Efficient Strategies for Single/Multi-Target Jamming on MIMO Gaussian Channels.
Keyvan Yahya:
A Supervised Goal Directed Algorithm in Economical Choice Behaviour: An Actor-Critic Approach.

Abdul Kadir, Lukito Edi Nugroho, Adhi Susanto, Paulus Insap Santosa:
Experiments of Distance Measurements in a Foliage Plant Retrieval System.
(Withdrawn) An Enhanced Method For Evaluating Automatic Video Summaries.


Vincenzo De Florio, Chris Blondia:
Reflective and Refractive Variables: A Model for Effective and Maintainable Adaptive-and-Dependable Software.
Johannes Hofmann, Jan Treibig, Georg Hager, Gerhard Wellein:
Performance Engineering for a Medical Imaging Application on the Intel Xeon Phi Accelerator.
Sanjay Vishwakarma, A. Chockalingam:
Power Allocation in MIMO Wiretap Channel with Statistical CSI and Finite-Alphabet Input.
Vincenzo De Florio, Chris Blondia:
Service-oriented Communities: Visions and Contributions towards Social Organizations.
Ankit Mundra, Geetanjali Rathee, Meenu Chawla, Nitin Rakesh, Ashsutosh Soni:
Transport Information System using Query Centric Cyber Physical Systems (QCPS).
Ning Gui, Vincenzo De Florio, Hong Sun, Chris Blondia:
A Service-oriented Infrastructure Approach for Mutual Assistance Communities.
Ernesto G. Birgin, Paulo Feofiloff, Cristina G. Fernandes, Everton L. de Melo, Marcio T. I. Oshiro, Débora P. Ronconi:
A MILP model for an extended version of the Flexible Job Shop Problem.
Hadi Ahmadi, Reihaneh Safavi-Naini:
Multipath Private Communication: An Information Theoretic Approach.
Andrea Munari, Michael Heindlmaier, Gianluigi Liva, Matteo Berioli:
The Throughput of Slotted Aloha with Diversity.
Tongxin Li, Chun Lam Chan, Wenhao Huang, Tarik Kaced, Sidharth Jaggi:
Group Testing with Prior Statistics.
Doina Tãtar, Mihaiela Lupea, Epaminondas Kapetanios:
Hrebs and Cohesion Chains as similar tools for semantic text properties research.
Katarzyna E. Paluch:
Better Approximation Algorithms for Maximum Asymmetric Traveling Salesman and Shortest Superstring.
Zhili Guo, Yao Wang, Elza Erkip, Shivendra S. Panwar:
Wireless Video Multicast with Cooperative and Incremental Transmission of Parity Packets.
Timo Mennle, Sven Seuken:
An Axiomatic Approach to Characterizing and Relaxing Strategyproofness of One-sided Matching Mechanisms.
Na Deng, Wuyang Zhou, Martin Haenggi:
The Ginibre Point Process as a Model for Wireless Networks with Repulsion.
Holger Boche, Minglai Cai, Christian Deppe:
Broadcast Classical-Quantum Capacity Region of Two-Phase Bidirectional Relaying Channel.
Vincenzo De Florio, Geert Deconinck:
$\mathcal R\!\raise2pt\hbox{$\varepsilon$}\!\hbox{$\mathcal L$}$: A Fault Tolerance Linguistic Structure for Distributed Applications.
Ragesh Jaiswal, Mehul Kumar, Pulkit Yadav:
Improved analysis of D2-sampling based PTAS for k-means and other Clustering problems.
Matanya B. Horowitz, Nikolai Matni, Joel W. Burdick:
Convex Relaxations of SE(2) and SE(3) for Visual Pose Estimation.
Zeev Dvir, Rafael Mendes de Oliveira, Amir Shpilka:
Testing Equivalence of Polynomials under Shifts.
Igor G. Vladimirov, Ian R. Petersen:
Physical Realizability and Mean Square Performance of Translation Invariant Networks of Interacting Linear Quantum Stochastic Systems.
Ed Bennett, Luigi Del Debbio, Kirk E. Jordan, Biagio Lucini, Agostino Patella, Claudio Pica, Antonio Rago:
BSMBench: a flexible and scalable supercomputer benchmark from computational particle physics.
Alexios Balatsoukas-Stimming, Mani Bastani Parizi, Andreas Burg:
LLR-based Successive Cancellation List Decoding of Polar Codes.
Xiao Yang, Andrew R. Barron:
Large Alphabet Compression and Predictive Distributions through Poissonization and Tilting.
Raphaëlle Crubillé, Ugo Dal Lago:
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (Long Version).
Bharath K. Samanthula, Wei Jiang, Elisa Bertino:
Lightweight and Secure Two-Party Range Queries over Outsourced Encrypted Databases.
Songcen Xu, Rodrigo C. de Lamare, H. Vincent Poor:
Adaptive Link Selection Strategies for Distributed Estimation in Wireless Sensor Networks.
Thibaut Vidal, Nelson Maculan, Puca Huachi Vaz Penna, Luiz Satoru Ochi:
Large neighborhoods with implicit customer selection for vehicle routing problems with profits.
Son Hoang Dau, Wentu Song, Chau Yuen:
On the Existence of MDS Codes Over Small Fields With Constrained Generator Matrices.
Shigeaki Kuzuoka, Shun Watanabe:
An Information-Spectrum Approach to Weak Variable-Length Source Coding with Side-Information.
Ning Cai, M. Junaid Khan:
On Swarm Stability of Linear Time-Invariant Descriptor Compartmental Networks.
Xiaoxia Sun, Qing Qu, Nasser M. Nasrabadi, Trac D. Tran:
Structured Priors for Sparse-Representation-Based Hyperspectral Image Classification.
Xiaohan Wei, Michael J. Neely:
Power Aware Wireless File Downloading: A Constrained Restless Bandit Approach.

Amy Greenwald, Seong Jae Lee, Victor Naroditskiy:
RoxyBot-06: Stochastic Prediction and Optimization in TAC Travel.
Henrik Reif Andersen, Tarik Hadzic, David Pisinger:
Interactive Cost Configuration Over Decision Diagrams.
Raghav Aras, Alain Dutech:
An Investigation into Mathematical Programming for Finite Horizon Decentralized POMDPs.
Matthew Michelson, Craig A. Knoblock:
Constructing Reference Sets from Unstructured, Ungrammatical Text.
Bozhena Bidyuk, Rina Dechter, Emma Rollon:
Active Tuples-based Scheme for Bounding Posterior Beliefs.

Liyue Zhao, Yu Zhang, Gita Sukthankar:
An Active Learning Approach for Jointly Estimating Worker Performance and Annotation Reliability with Crowdsourced Data.
Claudette Cayrol, Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex:
Change in Abstract Argumentation Frameworks: Adding an Argument.
Silvia Richter, Matthias Westphal:
The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks.

David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
Developing Approaches for Solving a Telecommunications Feature Subscription Problem.
Yagil Engel, Michael P. Wellman:
Multiattribute Auctions Based on Generalized Additive Independence.
Jianhui Wu, Edmund H. Durfee:
Resource-Driven Mission-Phasing Techniques for Constrained Agents in Stochastic Environments.
Graeme Gange, Peter James Stuckey, Vitaly Lagoon:
Fast Set Bounds Propagation Using a BDD-SAT Hybrid.
Jia-Hong Wu, Robert Givan:
Automatic Induction of Bellman-Error Features for Probabilistic Planning.
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund:
Approximate Model-Based Diagnosis Using Greedy Stochastic Search.
Sebastian Rudolph, Birte Glimm:
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund:
A Model-Based Active Testing Approach to Sequential Diagnosis.
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello:
Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints.
Bonny Banerjee, B. Chandrasekaran:
A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning.
Michael Benisch, George B. Davis, Tuomas Sandholm:
Algorithms for Closed Under Rational Behavior (CURB) Sets.
Georgios Chalkiadakis, Edith Elkind, Evangelos Markakis, Maria Polukarov, Nicholas R. Jennings:
Cooperative Games with Overlapping Coalitions.
Vadim Bulitko, Yngvi Björnsson, Ramon Lawrence:
Case-Based Subgoaling in Real-Time Heuristic Search for Video Game Pathfinding.


Ethan Burns, Sofia Lemons, Wheeler Ruml, Rong Zhou:
Best-First Heuristic Search for Multicore Machines.
Yonghong Wang, Chung-Wei Hang, Munindar P. Singh:
A Probabilistic Approach for Maintaining Trust Based on Evidence.
Xavier Tannier, Philippe Muller:
Evaluating Temporal Graphs Built from Texts via Transitive Reduction.
Christian Geist, Ulle Endriss:
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects.
Albert Atserias, Johannes Klaus Fichte, Marc Thurley:
Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution.
Haris Aziz, Yoram Bachrach, Edith Elkind, Mike Paterson:
False-Name Manipulations in Weighted Voting Games.
Erik Talvitie, Satinder P. Singh:
Learning to Make Predictions In Partially Observable Environments Without a Generative Model.


Wheeler Ruml, Minh Binh Do, Rong Zhou, Markus P. J. Fromherz:
On-line Planning and Scheduling: An Application to Controlling Modular Printers.

Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani:
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories.
Emmanuel Hebrard, Dániel Marx, Barry O'Sullivan, Igor Razgon:
Soft Constraints of Difference and Equality.
Harris Papadopoulos, Vladimir Vovk, Alex J. Gammerman:
Regression Conformal Prediction with Nearest Neighbours.
Mustafa Bilgic, Lise Getoor:
Value of Information Lattice: Exploiting Probabilistic Independence for Effective Feature Subset Acquisition.
Anna Khudyak Kozorovitzky, Oren Kurland:
From "Identical" to "Similar": Fusing Retrieved Lists Based on Inter-Document Similarities.
Tomás de la Rosa, Sergio Jiménez Celorrio, Raquel Fuentetaja, Daniel Borrajo:
Scaling up Heuristic Planning with Relational Decision Trees.
Wei Li, Pascal Poupart, Peter van Beek:
Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference.
Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi:
The Complexity of Integer Bound Propagation.
Dmytro Korzhyk, Zhengyu Yin, Christopher Kiekintveld, Vincent Conitzer, Milind Tambe:
Stackelberg vs. Nash in Security Games: An Extended Investigation of Interchangeability, Equivalence, and Uniqueness.
Jörg Hoffmann:
Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+.



Oren Kurland, Eyal Krikon:
The Opposite of Smoothing: A Language Model Approach to Ranking Query-Specific Document Clusters.
Dov M. Gabbay, David Pearce, Agustín Valverde:
Interpolable Formulas in Equilibrium Logic and Answer Set Programming.
Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar:
Representing and Reasoning with Qualitative Preferences for Compositional Systems.
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier:
Decidability and Undecidability Results for Propositional Schemata.
Richard Booth, Thomas Meyer, Ivan José Varzinczak, Renata Wassermann:
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic.
Noa Agmon, Gal A. Kaminka, Sarit Kraus:
Multi-Robot Adversarial Patrolling: Facing a Full-Knowledge Opponent.
Ko-Hsin Cindy Wang, Adi Botea:
MAPP: a Scalable Multi-Agent Path Planning Algorithm with Tractability and Completeness Guarantees.
Peter D. Grünwald, Joseph Y. Halpern:
Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration.
Xiaosong Lu, Howard M. Schwartz, Sidney Nascimento Givigi:
Policy Invariance under Reward Transformations for General-Sum Stochastic Games.
Ricardo Ribeiro, David Martins de Matos:
Centrality-as-Relevance: Support Sets and Similarity as Geometric Proximity.
Richard Hoshino, Ken-ichi Kawarabayashi:
Scheduling Bipartite Tournaments to Minimize Total Travel Distance.
Ni Ding, Parastoo Sadeghi, Rodney A. Kennedy:
Discrete Stochastic Approximation for Cross-layer Transmission Control in Wireless Communications.
Yeow Meng Chee, Zouha Cherif, Jean-Luc Danger, Sylvain Guilley, Han Mao Kiah, Jon-Lark Kim, Patrick Solé, Xiande Zhang:
Multiply Constant-Weight Codes and the Reliability of Loop Physically Unclonable Functions.
Subodh Pudasaini, Seokjoo Shin, Kyung Sup Kwak:
Robust Modulation Technique for Diffusion-based Molecular Communication in Nanonetworks.
Adel Zahedi, Jan Østergaard, Søren Holdt Jensen, Patrick Naylor, Soren Bech:
Distributed Remote Vector Gaussian Source Coding for Wireless Acoustic Sensor Networks.
Joan Serrà, Josep Lluís Arcos:
An Empirical Evaluation of Similarity Measures for Time Series Classification.
Md. Abdullah Al Mamun, Christian Berger, Jörgen Hansson:
Engineering the Hardware/Software Interface for Robotic Platforms - A Comparison of Applied Model Checking with Prolog and Alloy.
Henning Maier, Anas Chaaban, Rudolf Mathar:
$Y$-$Δ$ Product in 3-Way $Δ$ and Y-Channels for Cyclic Interference and Signal Alignment.
Hugo Méric, José Miguel Piquer:
Performance Evaluation of Bit Division Multiplexing combined with Non-Uniform QAM.
Bartlomiej Blaszczyszyn, Holger Paul Keeler:
Studying the SINR process of the typical user in Poisson networks by using its factorial moment measures.
Pokkuluri Kiran Sree, Inampudi Ramesh Babu:
Towards a Cellular Automata Based Network Intrusion Detection System with Power Level Metric in Wireless Adhoc Networks (IDFADNWCA).
Tong Zhou:
Asymptotic Behavior of the Pseudo-Covariance Matrix of a Robust State Estimator with Intermittent Measurements.
Jakub Katarzynski, Maciej Cytowski:
Towards Autotuning of OpenMP Applications on Multicore Architectures.
Patricia Wollstadt, Mario Martínez-Zarzuela, Raul Vicente, Francisco Javier Díaz Pernas, Michael Wibral:
Efficient transfer entropy analysis of non-stationary neural time series.
Kobbi Nissim, Salil P. Vadhan, David Xiao:
Redrawing the Boundaries on Purchasing Data from Privacy-Sensitive Individuals.
Yunjin Chen, Thomas Pock, Horst Bischof:
Learning ℓ1-based analysis and synthesis sparsity priors using bi-level optimization.
Yunjin Chen, Thomas Pock, René Ranftl, Horst Bischof:
Revisiting loss-specific training of filter-based MRFs for image restoration.

Charles-Henri Cappelaere, Rémi Dubois, Pierre Roussel, Gérard Dreyfus:
Towards the selection of patients requiring ICD implantation by automatic classification from Holter monitoring indices.
Rémi Bonnet, Stefan Kiefer, Anthony Widjaja Lin:
Analysis of Probabilistic Basic Parallel Processes.
Sunho Park, TaeHyun Hwang, Seungjin Choi:
Convex Optimization for Binary Classifier Aggregation in Multiclass Problems.
Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Arguments using ontological and causal knowledge.
Mohammed F. A. Ahmed, Sergiy A. Vorobyov:
Simple Semi-Distributed Lifetime Maximizing Strategy via Power Allocation in Collaborative Beamforming for Wireless Sensor Networks.
Chris Culnane, Steve Schneider:
A Peered Bulletin Board for Robust Use in Verifiable Voting Systems.
Jinfeng Du, Muriel Médard, Ming Xiao, Mikael Skoglund:
Scalable Capacity Bounding Models for Wireless Networks.
Maria Kalimeri, Vassilios Constantoudis, Constantinos Papadimitriou, Konstantinos Karamanos, Fotis K. Diakonos, Harris Papageorgiou:
Entropy analysis of word-length series of natural language texts: Effects of text language and genre.
Yuan Xie, Wensheng Zhang, Dacheng Tao, Wenrui Hu, Yanyun Qu, Hanzi Wang:
Distortion-driven Turbulence Effect Removal using Variational Model.
Mohammad Rasouli, Demosthenis Teneketzis:
Electricity Pooling Markets with Strategic Producers Possessing Asymmetric Information I: Elastic Demand.
Xiang Zuo, Jeremy Blackburn, Nicolas Kourtellis, John Skvoretz, Adriana Iamnitchi:
The power of indirect social ties.


Dae-Sung Jang, Han-Lim Choi:
Complexity Analysis of Heuristic Pulse Interleaving Algorithms for Multi-Target Tracking with Multiple Simultaneous Receive Beams.
Tadashi Wadayama, Taisuke Izumi:
Bitwise MAP Algorithm for Group Testing based on Holographic Transformation.
Jens Heidrich, Adam Trendowicz, Jürgen Münch, Yasushi Ishigai, Kenji Yokoyama, Nahomi Kikuchi, Takashi Kawaguchi:
Lessons Learned and Results from Applying Data-Driven Cost Estimation to Industrial Data Sets.
Sheng Cai, Mayank Bakshi, Sidharth Jaggi, Minghua Chen:
SUPER: Sparse signals with Unknown Phases Efficiently Recovered.
Michel Verhaegen, Anders Hansson:
Nuclear Norm Subspace Identification (N2SID) for short data batches.
Xiaohui Wang, Jia Jia, Lianhong Cai, Jie Tang:
Modeling Emotion Influence from Images in Social Networks.
Martín Soto, Alexis Ocampo, Jürgen Münch:
The Secret Life of a Process Description: A Look into the Evolution of a Large Process Model.
Khalid Belhajjame, Jun Zhao, Daniel Garijo, Kristina M. Hettne, Raúl Palma, Óscar Corcho, José Manuél Gómez-Pérez, Sean Bechhofer, Graham Klyne, Carole A. Goble:
The Research Object Suite of Ontologies: Sharing and Exchanging Research Data and Methods on the Open Web.
Jun Fang, Jing Li, Yanning Shen, Hongbin Li, Shaoqian Li:
Super-Resolution Compressed Sensing: An Iterative Reweighted Algorithm for Joint Parameter Learning and Sparse Signal Recovery.
Wenjie Li, Francesca Bassi, Michel Kieffer:
Robust Bayesian compressed sensing over finite fields: asymptotic performance analysis.
Rodrigo Costas, Zohreh Zahedi, Paul Wouters:
Do altmetrics correlate with citations? Extensive comparison of altmetric indicators with citations from a multidisciplinary perspective.
Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel Weller:
Algorithmic Introduction of Quantified Cuts.
Vahid Jamali, Yasser Karimian, Johannes Huber, Mahmoud Ahmadian:
On the Design of Fast Convergent LDPC Codes: An Optimization Approach.
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer:
Information Flow Control in WebKit's JavaScript Bytecode.
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi:
Weak MSO: Automata and Expressiveness Modulo Bisimilarity.
Khaled M. Khalil, M. Abdel-Aziz, Taymour T. Nazmy, Abdel-Badeeh M. Salem:
Intelligent Techniques for Resolving Conflicts of Knowledge in Multi-Agent Decision Support Systems.
Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Shallow Chases.
Muhammad Arshad Ul Abedin, Vincent Ng, Latifur Khan:
Cause Identification from Aviation Safety Incident Reports via Weakly Supervised Semantic Lexicon Construction.
Christoph Niethammer, Colin W. Glass, José Gracia:
Avoiding Serialization Effects in Data-Dependency aware Task Parallel Algorithms for Spatial Decomposition.

Abdul Kadir, Lukito Edi Nugroho, Adhi Susanto, Paulus Insap Santosa:
Leaf Classification Using Shape, Color, and Texture Features.
Abbas Bradai, Ubaid Abbasi, Raul Landa, Toufik Ahmed:
An efficient playout smoothing mechanism for layered streaming in P2P networks.
Swanand Kadhe, Sidharth Jaggi, Mayank Bakshi, Alex Sprintson:
Reliable, Deniable, and Hidable Communication over Multipath Networks.
Rushed Kanawati:
YASCA: A collective intelligence approach for community detection in complex networks.
Devansh Arpit, Gaurav Srivastava, Venu Govindaraju:
Randomized Subspace Learning Algorithms with Subspace Structure Preservation Guarantees.
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez:
Temporal Logics for Hyperproperties.
Jiyang Yu, Michael Carosino, Krishnamoorthy Sivakumar, Benjamin Belzer, Yiming Chen:
Detection and Decoding for 2D Magnetic Recording Channels with 2D Intersymbol Interference.
Imad Ahmad, Chih-Chun Wang:
When and By How Much Can Helper Node Selection Improve Regenerating Codes.
Rahul Jain, Troy Lee, Nisheeth K. Vishnoi:
A quadratically tight partition bound for classical communication complexity and query complexity.
Yanqing Wang, Yu Jiang, Xiaolei Wang, Siyu Zhang, Yaowen Liang:
Solving reviewer assignment problem in software peer review: An approach based on preference matrix and asymmetric TSP model.

Yanfei Yan, Ling Liu, Cong Ling:
Polar Lattices for Strong Secrecy Over the Mod-$Λ$ Gaussian Wiretap Channel.
Agnes Mainka, Sarah Hartmann, Wolfgang G. Stock, Isabella Peters:
Government and Social Media: A Case Study of 31 Informational World Cities.
S. M. Ferdous, M. Sohel Rahman:
A MAX-MIN Ant Colony System for Minimum Common String Partition Problem.
Meriem Ben-Salah Akin:
On the Potential of Twitter for Understanding the Tunisia of the Post-Arab Spring.
Jean-Guillaume Dumas, Erich Kaltofen:
Essentially optimal interactive certificates in linear algebra.
Julien Bensmail, Ararat Harutyunyan, Hervé Hocquard, Petru Valicov:
Strong edge-colouring of sparse planar graphs.
Saverio Caminiti, Claudio Cicali, Pietro Gravino, Vittorio Loreto, Vito Domenico Pietro Servedio, Alina Sîrbu, Francesca Tria:
XTribe: a web-based social computation platform.
David Birch, Helen Liang, Paul H. J. Kelly, Glen Mullineux, Tony Field, Joan Ko, Alvise Simondetti:
Multidisciplinary Engineering Models: Methodology and Case Study in Spreadsheet Analytics.
Rania Ibrahim, Noha A. Yousri, Mohamed A. Ismail, Nagwa M. El-Makky:
miRNA and Gene Expression based Cancer Classification using Self- Learning and Co-Training Approaches.
Enrique Amigó, Julio Gonzalo, Javier Artiles, Felisa Verdejo:
Combining Evaluation Metrics via the Unanimous Improvement Ratio and its Application to Clustering Tasks.
Marc J. V. Ponsen, Steven de Jong, Marc Lanctot:
Computing Approximate Nash Equilibria and Robust Best-Responses Using Sampling.
Jiri Baum, Ann E. Nicholson, Trevor I. Dix:
Proximity-Based Non-uniform Abstractions for Approximate Planning.
Na Fu, Hoong Chuin Lau, Pradeep Varakantham, Fei Xiao:
Robust Local Search for Solving RCPSP/max with Durational Uncertainty.
Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri:
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.

Freek Stulp, Andreas Fedrizzi, Lorenz Mösenlechner, Michael Beetz:
Learning and Reasoning with Action-Related Places for Robust Mobile Manipulation.
Yifeng Zeng, Prashant Doshi:
Exploiting Model Equivalences for Solving Interactive Dynamic Influence Diagrams.
Gilles Pesant, Claude-Guy Quimper, Alessandro Zanarini:
Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems.
Edith Elkind, Piotr Faliszewski, Arkadii Slinko:
Cloning in Elections: Finding the Possible Winners.
Esperanza Albacete, Francisco Javier Calle-Gómez, Elena Castro, Dolores Cuadra:
Semantic Similarity Measures Applied to an Ontology for Human-Like Interaction.
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks:
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice.
J. H. M. Lee, Ka Lun Leung:
Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction.
Patrick R. Conrad, Brian Charles Williams:
Drake: An Efficient Executive for Temporal Plans with Choice.
Joohyung Lee, Ravi Palla:
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming.
Léon Planken, Mathijs Michiel de Weerdt, Roman van der Krogt:
Computing All-Pairs Shortest Paths by Leveraging Low Treewidth.
Javier Vélez, Garrett Hemann, Albert S. Huang, Ingmar Posner, Nicholas Roy:
Modelling Observation Correlations for Active Exploration and Robust Object Detection.
Moustafa Mohamed, Zheng Li, Xi Chen, Alan Rolf Mickelson:
HERMES: A Hierarchical Broadcast-Based Silicon Photonic Interconnect for Scalable Many-Core Systems.


Cyril Voyant, Pierrick Haurant, Marc Muselli, Christophe Paoli, Marie-Laure Nivet:
Time series modeling and large scale global solar radiation forecasting from geostationary satellites data.
Antonio Bernini, Stefano Bilotta, Renzo Pinzani, Vincent Vajnovszki:
A Gray Code for cross-bifix-free sets.
Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho:
The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices.
Suman Kumar, Krishnamurthy Giridhar:
Power Control Factor Selection in Uplink OFDMA Cellular Networks.
Yongming Li, Yali Li, Zhanyou Ma:
Computation Tree Logic Model Checking Based on Possibility Measures.
(Withdrawn) On the Resilience of an Ant-based System in Fuzzy Environments. An Empirical Study.
Suman Kumar, Sheetal Kalyani, Krishnamurthy Giridhar:
Optimal Thresholds for Coverage and Rate in FFR Schemes for Planned Cellular Networks.
Suman Kumar, Sheetal Kalyani:
Analysis and Comparison of Coverage Probability in the Presence of Correlated Nakagami-m Interferers and Non-identical Independent Nakagami-m Interferers.
Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer:
Parallel Telescoping and Parameterized Picard-Vessiot Theory.
Ronald Hochreiter, Christoph Waldhauser:
Evolving Accuracy: A Genetic Algorithm to Improve Election Night Forecasts.
Stefan Hochrainer, Ronald Hochreiter, Georg Ch. Pflug:
An algorithm for calculating steady state probabilities of $M|E_r|c|K$ queueing systems.
Tong Peng, Rodrigo C. de Lamare, Anke Schmeink:
Adaptive Power Allocation Strategies using DSTC in Cooperative MIMO Networks.
Olivier Bodini, Julien David, Philippe Marchal:
Random-bit optimal uniform sampling for rooted planar trees with given sequence of degrees and Applications.
Mario Blaum, James S. Plank, Moshe Schwartz, Eitan Yaakobi:
Construction of Partial MDS (PMDS) and Sector-Disk (SD) Codes with Two Global Parity Symbols.
Yunlong He, Jun Huang, Qiang Duan, Zi Xiong, Juan Lv, Yanbing Liu:
A Novel Admission Control Model in Cloud Computing.


Masoud Koleini, Eike Ritter, Mark Ryan:
Verification of agent knowledge in dynamic access control policies.



Andrew Arnold, Mark Giesbrecht, Daniel S. Roche:
Faster sparse polynomial interpolation of straight-line programs over finite fields.
Yaoqing Yang, Bo Bai, Wei Chen:
How Much Frequency Can Be Reused in 5G Cellular Networks - A Matrix Graph Model.
Keke Zu, Rodrigo C. de Lamare, Martin Haardt:
Multi-Branch Tomlinson-Harashima Precoding for MU-MIMO Systems: Theory and Algorithms.
Abhishek Gupta, Ashutosh Nayyar, Cedric Langbort, Tamer Basar:
Common Information based Markov Perfect Equilibria for Linear-Gaussian Games with Asymmetric Information.
Frank Nielsen:
Generalized Bhattacharyya and Chernoff upper bounds on Bayes error using quasi-arithmetic means.
Dheerendra Mishra:
Cryptanalysis of Multi-Server Authenticated Key Agreement Scheme Based on Trust Computing Using Smart Cards and Biometrics.

Alexis Ocampo, Jürgen Münch:
Process Evolution Supported by Rationale: An Empirical Investigation of Process Changes.
Martín Soto, Jürgen Münch:
Maintaining a Large Process Model Aligned with a Process Standard: An Industrial Example.
Yikai Wang, Yitong Yin, Sheng Zhong:
Approximate Capacities of Two-Dimensional Codes by Spatial Mixing.
Amr Ismail, Mohamed-Slim Alouini:
On Low-Complexity Full-diversity Detection In Multi-User MIMO Multiple-Access Channels.
Ashish Kumar Mourya, Niraj Singhal:
Managing Congestion Control in Mobile AD-HOC Network Using Mobile Agents.
Ronald Hochreiter, Christoph Waldhauser:
An Evolutionary Approach towards Clustering Airborne Laser Scanning Data.
Ronald Hochreiter, Christoph Waldhauser:
A Genetic Algorithm to Optimize a Tweet for Retweetability.
Vincenzo De Florio:
Antifragility = Elasticity + Resilience + Machine Learning: Models and Algorithms for Open System Fidelity.
Hany Nashat Gabra, Ayman M. Bahaa Eldin, Huda Korashy:
Classification of IDS Alerts with Data Mining Techniques.
Ngo Tan Vu Khanh:
The critical factors affecting E-Government adoption: A Conceptual Framework in Vietnam.
Ahmed Ben Achballah, Slim Ben Saoud:
The Design of a Network-On-Chip Architecture Based On An Avionic Protocol.
Saif Khan Mohammed:
Impact of Transceiver Power Consumption on the Energy Efficiency Spectral Efficiency Tradeoff of Zero-Forcing Detector in Massive MIMO Systems.
Daniela Kühn, Deryk Osthus, Viresh Patel:
A domination algorithm for $\{0, 1\}$-instances of the travelling salesman problem.
Egor Ianovski:
The existential fragment of S1S over element and successor is the co-Buchi languages.
Chithrupa Ramesh, Henrik Sandberg, Karl Henrik Johansson:
Performance Analysis of a Network of Event-based Systems.
Peng Li, Rodrigo Caiado de Lamare:
Low-Complexity Robust Data-Adaptive Dimensionality Reduction Based on Joint Iterative Optimization of Parameters.
Thibault Deleu, Mathieu Dervin, Kenta Kasai, François Horlin:
Iterative pre-distortion of the non-linear satellite channel.
Washington A. Oliveira, Luiz Leduíno de Salles Neto, Antônio Carlos Moretti, Ednei F. Reis:
Nonidentical circle packing problem: multiple disks installed in a rotating circular container.
Jingjun Han, Liyun Dai, Bican Xia:
Constructing Fewer Open Cells by GCD Computation in CAD Projection.
Marc Hellmuth, Tilen Marc:
On the Cartesian Skeleton and the Factorization of the Strong Product of Digraphs.
Lélia Blin, Sébastien Tixeuil:
Compact Deterministic Self-Stabilizing Leader Election: The Exponential Advantage of Being Talkative.

Chithrupa Ramesh, Henrik Sandberg, Karl Henrik Johansson:
Stability Analysis and Design of a Network of Event-based Systems.
Naznin Fauzia, Venmugil Elango, Mahesh Ravishankar, J. Ramanujam, Fabrice Rastello, Atanas Rountev, Louis-Noël Pouchet, P. Sadayappan:
Beyond Reuse Distance Analysis: Dynamic Analysis for Characterization of Data Locality Potential.
Manuj Mukherjee, Navin Kashyap, Yogesh Sankarasubramaniam:
Achieving SK Capacity in the Source Model: When Must All Terminals Talk?
Katherine Rose Driggs-Campbell, Guillaume Bellegarda, Victor Shia, S. Shankar Sastry, Ruzena Bajcsy:
Experimental Design for Human-in-the-Loop Driving Simulations.
Olivier Curé, Guillaume Blin, Dominique Revuz, David Faye:
WaterFowl, a Compact, Self-indexed RDF Store with Inference-enabled Dictionaries.
José Alberto García Gutiérrez, Alejandro Mateo Hernández Díaz:
Análisis e implementación de algoritmos evolutivos para la optimización de simulaciones en ingeniería civil. (draft).
Olivier Ruatta, Mark Sciabica, Ágnes Szántó:
Over-constrained Weierstrass iteration and the nearest consistent system.


Mohamed A. El-Sayed, Sayed Abdel-Khalek, Eman Abdel-Aziz:
Study of Efficient Technique Based On 2D Tsallis Entropy For Image Thresholding.
Felipe Gómez-Cuba, Francisco J. González-Castaño:
Improving Third-Party Relaying for LTE-A: A Realistic Simulation Approach.
Mohamed A. El-Sayed, Mohamed A. Khafagy:
An Identification System Using Eye Detection Based On Wavelets And Neural Networks.
Dave R. Stikkolorum, Michel R. V. Chaudron, Oswald de Bruin:
The Art of Software Design, a Video Game for Learning Software Design Principles.


Cong Li, Michael Georgiopoulos, Georgios C. Anagnostopoulos:
A Unifying Framework for Typical Multi-Task Multiple Kernel Learning Problems.

Yoshiyuki Kabashima, Mikko Vehkaperä:
Signal recovery using expectation consistent approximation for linear observations.
Jafar Shayan, Ahmad Azarnik, Suriayati Chuprat, Sasan Karamizadeh, Mojtaba Alizadeh:
Identifying Benefits and risks associated with utilizing cloud computing.
Juliana Wahid, Naimah Mohd Hussin:
Harmony Search Algorithm for Curriculum-Based Course Timetabling Problem.
Nalika Ulapane, Sunil Abeyratne, Prabath Binduhewa, Chamari Dhanapala, Shyama Wickramasinghe, Nimal Rathnayake:
A Simple Software Application for Simulating Commercially Available Solar Panels.
Alexandre M. Melo Silva, Christiano C. Maciel, Suelene do Carmo Correa:
Multi-hop Energy-efficient Control for Heterogeneous Wireless Sensor Networks Using Fuzzy Logic.
Yeresime Suresh, Santanu Ku. Rath:
A Genetic Algorithm based Approach for Test Data Generation in Basis Path Testing.
Zhi Li, Ali C. Begen, Joshua Gahm, Yufeng Shan, Bruce Osler, David Oran:
Streaming Video over HTTP with Consistent Quality.
Umer Asgher, Fahad Moazzam Dar, Ali Hamza, Abdul Moeed Paracha:
Analysis of Increasing Malwares and Cyber Crimes Using Economic Approach.
Fahad Moazzam Dar, Umer Asgher, Daniyal Malik, Emmad Adil, Hassan Shahzad, Anees Ali:
Automation of Prosthetic Upper Limbs for Transhumeral Amputees Using Switch-controlled Motors.
Hamdi A. Al-Jamimi, Moataz A. Ahmed:
Transition from Analysis to Software Design: A Review and New Perspective.

Shenghao Wang, Kai Zhang, Zhili Wang, Kun Gao, Zhao Wu, Peiping Zhu, Ziyu Wu:
A LabVIEW based user-friendly nano-CT image alignment and 3D reconstruction platform.
Kushal Ahmed, Toby Myers, Lian Wen, Abdul Sattar:
Detecting Requirements Defects Utilizing A Mathematical Framework for Behavior Engineering.
Houssam Abbas, Bardh Hoxha, Georgios E. Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda:
Conformance Testing as Falsification for Cyber-Physical Systems.
Chen Guo, Cenzhe Zhu, Teng Tiow Tay:
ShAppliT: A Novel Broker-mediated Solution to Generic Application Sharing in a Cluster of Closed Operating Systems.
Pablo Cristian Tissera, Alicia Castro, A. Marcela Printista, Emilio Luque:
Simulating Behaviours to face up an Emergency Evacuation.
(Withdrawn) Multi-GPU parallel memetic algorithm for capacitated vehicle routing problem.
Hadi Kasiri, Hamid Reza Momeni, Atiyeh Kasiri:
Optimal Intelligent Control for Wind Turbulence Rejection in WECS Using ANNs and Genetic Fuzzy Approach.
Nicola Ivan Giannoccaro, Giovanni Indiveri, Luigi Spedicato:
Least Entropy-Like Approach for Reconstructing L-Shaped Surfaces Using a Rotating Array of Ultrasonic Sensors.
Konstantinos Dermitzakis, Juan Pablo Carbajal:
Bio-inspired friction switches: adaptive pulley systems.
Semseddin Gunduz, Aysen Namlu:
The Effect Of Online Cooperative Homework On Students' Academic Success.
Ayman M. Bahaa Eldin, Abdel-Moneim A. Wahdan, Hani M. K. Mahdi:
Edge detection of binary images using the method of masks.
Ayman M. Bahaa Eldin, Abdel-Moneim A. Wahdan, Hani M. K. Mahdi:
Genetic Algorithms and its use with back-propagation network.
Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra:
Valuations in Gödel Logic, and the Euler Characteristic.
Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra:
An Analysis of Ruspini Partitions in Gödel Logic.
Adam Trendowicz, Michael Ochs, Axel Wickenkamp, Jürgen Münch, Yasushi Ishigai, Takashi Kawaguchi:
An Integrated Approach for Identifying Relevant Factors Influencing Software Development Productivity.

Ramji Venkataramanan, Sekhar Tatikonda:
The Gaussian Rate-Distortion Function of Sparse Regression Codes with Optimal Encoding.

Stanislav Simeonov, Neli Simeonova:
Graphical Interface for Visually Impaired People Based on Bi-stable Solenoids.
Gergely Biczók, Santiago Diez Martinez, Thomas Jelle, John Krogstie:
Navigating MazeMap: indoor human mobility, spatio-logical ties and future potential.
Yanqing Wang, Chong Wang, Minghui Chen, Sijing Yun, Minjing Song:
How are identifiers named in open source software? About popularity and consistency.
Qiutao Zhuang, Xiao Ma, Aleksandar Kavcic:
Bounds on the ML Decoding Error Probability of RS-Coded Modulation over AWGN Channels.
Anthony Marcus, Ionut Cardei, Borko Furht, Osman Salem, Ahmed Mehaoua:
A Mobile Device Prototype Application for the Detection and Prediction of Node Faults in Wireless Sensor Networks.
Changxing Ding, Jonghyun Choi, Dacheng Tao, Larry S. Davis:
Multi-Directional Multi-Level Dual-Cross Patterns for Robust Face Recognition.
Wook Jung, Shih-Chun Chang:
An Integer Programming Approach to UEP Coding for Multiuser Broadcast Channels.

Mohamed A. El-Sayed, Sayed Abdel-Khalek, Hanan H. Amin:
Study of Neural Network Algorithm for Straight-Line Drawings of Planar Graphs.



Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski:
Linear Ranking for Linear Lasso Programs.
Blake Barker:
STABLAB Documentation for KdV : Numerical proof of stability of roll waves in the small-amplitude limit for inclined thin film flow.
Pokkuluri Kiran Sree, Inampudi Ramesh Babu, N. S. S. S. N. Usha Devi:
HMACA: Towards Proposing a Cellular Automata Based Tool for Protein Coding, Promoter Region Identification and Protein Structure Prediction.
Roberto E. Lopez-Herrejon, Javier Ferrer, Francisco Chicano, Evelyn Nicole Haslinger, Alexander Egyed, Enrique Alba:
Towards a Benchmark and a Comparison Framework for Combinatorial Interaction Testing of Software Product Lines.
M. Tharun Prasath:
Continuous Speech Recognition Based on Deterministic Finite Automata Machine using Utterance and Pitch Verification.
Sajib Dasgupta, Vincent Ng:
Which Clustering Do You Want? Inducing Your Ideal Clustering with Minimal Feedback.

Yongpeng Wu, Chao-Kai Wen, Chengshan Xiao, Xiqi Gao, Robert Schober:
Linear MIMO Precoding in Jointly-Correlated Fading Multiple Access Channels with Finite Alphabet Signaling.
Jian Xu, Thanuka L. Wickramarathne, Erin K. Grey, Karsten Steinhaeuser, Reuben P. Keller, John M. Drake, Nitesh V. Chawla, David M. Lodge:
Patterns of Ship-borne Species Spread: A Clustering Approach for Risk Assessment and Management of Non-indigenous Species Spread.
Fatima Boumahdi, Rachid Chalal:
SoaDssPm: A new Service-Oriented Architecture of the decision support system for the Project Management.
Zijian Ming, Chunjie Luo, Wanling Gao, Rui Han, Qiang Yang, Lei Wang, Jianfeng Zhan:
BDGS: A Scalable Big Data Generator Suite in Big Data Benchmarking.
Abdelhak Boulaalam, El Habib Nfaoui, Omar El Beqqali:
Intelligent Product: Mobile Agent Architecture Integrating the End of Life Cycle (EOL) For minimizing the lunch phase PLM.
Russell Impagliazzo, Shachar Lovett, Ramamohan Paturi, Stefan Schneider:
0-1 Integer Linear Programming with a Linear Number of Constraints.
Bharat Shrestha, Ekram Hossain, Kae Won Choi:
Distributed and Centralized Hybrid CSMA/CA-TDMA Schemes for Single-Hop Wireless Networks.
Ekram Hossain, Mehdi Rasti, Hina Tabassum, Amr Abdelnasser:
Evolution Towards 5G Multi-tier Cellular Wireless Networks: An Interference Management Perspective.
Shu Kong, Zhuolin Jiang, Qiang Yang:
Learning Mid-Level Features and Modeling Neuron Selectivity for Image Classification.
Alex Dytso, Daniela Tuninetti, Natasha Devroye:
On Discrete Alphabets for the Two-user Gaussian Interference Channel with One Receiver Lacking Knowledge of the Interfering Codebook.


(Withdrawn) Interference Statistics and Capacity Analysis for Uplink Transmission in Two-Tier Small Cell Networks: A Geometric Probability Approach.
Nuzulha Khilwani Ibrahim, Emaliana Kasmuri, Norazira A. Jalil, Mohd Adili Norasikin, Sazilah Salam, Mohamad Riduwan Md Nawawi:
License Plate Recognition (LPR): A Review with Experiments for Malaysia Case Study.
C. P. Sumathi, T. Santhanam, G. Umamaheswari:
A Study of Various Steganographic Techniques Used for Information Hiding.
Lin Tie:
On Controllability and Near-controllability of Multi-input Discrete-time Bilinear Systems in Dimension Two.
Mihály Bárász, Paul Francis Christiano, Benja Fallenstein, Marcello Herreshoff, Patrick LaVictoire, Eliezer Yudkowsky:
Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic.
Chenwei Wang:
Beyond One-Way Communication: Degrees of Freedom of Multi-Way Relay MIMO Interference Networks.
Fabio Dias, Jean Cousty, Laurent Najman:
Dimensional operators for mathematical morphology on simplicial complexes.
Aymen Louati, Chadlia Jerad, Kamel Barkaoui:
Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams.
Manoj Krishnaswamy, G. Hemantha Kumar:
Enhancing Template Security of Face Biometrics by Using Edge Detection and Hashing.
Youcef Dahmani, Maâmar El-Amine Hamri:
Specification of the State Lifetime in the DEVS Formalism by Fuzzy Controller.
Issam Sahmoudi, Hanane Froud, Abdelmonaime Lachkar:
A new keyphrases extraction method based on suffix tree data structure for arabic documents clustering.
Marek Kurdej, Julien Moras, Véronique Cherfaoui, Philippe Bonnifait:
Enhancing Mobile Object Classification Using Geo-referenced Maps and Evidential Grids.
Felipe Sánchez-Martínez, Rafael C. Carrasco, Miguel A. Martínez-Prieto, Joaquín Adiego:
Generalized Biwords for Bitext Compression and Translation Spotting.
Borzoo Rassouli, Chenxi Hao, Bruno Clerckx:
A Novel Proof for the DoF Region of the MIMO Broadcast Channel with No CSIT.
Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He:
Fast LTL Satisfiability Checking by SAT Solvers.
Ayman M. Bahaa Eldin, Hoda K. Mohamed, Sally S. Deraz:
Increasing Server Availability for Overall System Security: A Preventive Maintenance Approach Based on Failure Prediction.
Alexander Kobel, Michael Sagraloff:
Improved Complexity Bounds for Computing with Planar Algebraic Curves.

Tahira Naseem, Benjamin Snyder, Jacob Eisenstein, Regina Barzilay:
Multilingual Part-of-Speech Tagging: Two Unsupervised Approaches.
Alexander Yates, Oren Etzioni:
Unsupervised Methods for Determining Object and Relation Synonyms on the Web.
Evgeniy Gabrilovich, Shaul Markovitch:
Wikipedia-based Semantic Interpretation for Natural Language Processing.
Yifan Li, Petr Musílek, Marek Reformat, Loren Wyard-Scott:
Identification of Pleonastic It Using the Web.
George Tsatsaronis, Iraklis Varlamis, Michalis Vazirgiannis:
Text Relatedness Based on a Word Thesaurus.
Felipe Sánchez-Martínez, Mikel L. Forcada:
Inferring Shallow-Transfer Machine Translation Rules from Small Parallel Corpora.
Nafiseh Shariati, Emil Björnson, Mats Bengtsson, Mérouane Debbah:
Low-Complexity Polynomial Channel Estimation in Large-Scale MIMO with Arbitrary Statistics.
Peng Xia, Kun Tu, Bruno F. Ribeiro, Hua Jiang, Xiaodong Wang, Cindy X. Chen, Benyuan Liu, Don Towsley:
Who is Dating Whom: Characterizing User Behaviors of a Large Online Dating Site.

Javier Parra-Arnau, Félix Gómez Mármol, David Rebollo-Monedero, Jordi Forné:
Smart Deferral of Messages for Privacy Protection in Online Social Networks.
Paolo Braca, Stefano Maranò, Vincenzo Matta, Ali H. Sayed:
Asymptotic Performance of Adaptive Distributed Detection over Networks.
Alexander Amini, Kevin S. Kung, Chaogui Kang, Stanislav Sobolevsky, Carlo Ratti:
The Impact of Social Segregation on Human Mobility in Developing and Urbanized Regions.
S. Shervin Ostadzadeh, Fereidoon Shams:
Towards a Software Architecture Maturity Model for Improving Ultra-Large-Scale Systems Interoperability.
Michael Zargham, Victor M. Preciado:
Worst-Case Scenarios for Greedy, Centrality-Based Network Protection Strategies.
Ligong Wang, Gregory W. Wornell:
A refined analysis of the Poisson channel in the high-photon-efficiency regime.
Tobias Kuhn, Michel Dumontier:
Hash-URIs for Verifiable, Immutable, and Permanent Digital Artifacts.

Jerzy Tchórzewski, Emil Chyzy:
Reaserchnig the Development of the Electrical Power System Using Systemically Evolutionary Algorithm.
Zahra Pourbahman, Ali Hamzeh:
Reducing the Computational Cost in Multi-objective Evolutionary Algorithms by Filtering Worthless Individuals.

David R. Morrison, Edward C. Sewell, Sheldon H. Jacobson:
Solving the Pricing Problem in a Generic Branch-and-Price Algorithm using Zero-Suppressed Binary Decision Diagrams.
Tuan Ta, John S. Baras, Chenxi Zhu:
Improving Smartphone Battery Life Utilizing Device-to-device Cooperative Relays Underlaying LTE Networks.
Photios Stavrou, Christos K. Kourtellaris, Charalambos D. Charalambous:
Applications of Information Nonanticipative Rate Distortion Function.
Muhammad Dhiauddin Mohamed Suffian, Suhaimi Ibrahim:
A Prediction Model for System Testing Defects using Regression Analysis.
Moritz Sinn, Florian Zuleger, Helmut Veith:
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis.

Francesco Belardinelli, Alessio Lomuscio:
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results.
Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter:
The Logical Difference for the Lightweight Description Logic EL.
Matteo Vasirani, Sascha Ossowski:
A Market-Inspired Approach for Intersection Management in Urban Road Traffic Networks.
Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta:
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures.
Bernardo Cuenca Grau, Boris Motik:
Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach.
Martin C. Cooper, Stanislav Zivny:
Tractable Triangles and Cross-Free Convexity in Discrete Optimisation.
Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long:
COLIN: Planning with Continuous Linear Numeric Change.
Jörg Hoffmann, Ingo Weber, Frank Michael Kraft:
SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management.
Maria Fox, Derek Long, Daniele Magazzeni:
Plan-based Policies for Efficient Multiple Battery Load Management.
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger:
A New Look at BDDs for Pseudo-Boolean Constraints.

Zizhen Zhang, Hu Qin, Xiaocong Liang, Andrew Lim:
An Enhanced Branch-and-bound Algorithm for the Talent Scheduling Problem.
Yupeng Jiang, Dongdai Lin:
Distribution properties of compressing sequences derived from primitive sequences modulo odd prime powers.
Adam Trendowicz, Jürgen Münch, Ross Jeffery:
State of the Practice in Software Effort Estimation: A Survey and Literature Review.
Changxing Shang, Shengzhong Feng, Zhongying Zhao, Jianping Fan:
Efficient Detecting Overlapping Communities by Seeding and Semi-Supervised Learning.
Yohei Watanabe, Junji Shikata:
Timed-Release Secret Sharing Scheme with Information Theoretic Security.

Nan Wang, Jan Melchior, Laurenz Wiskott:
Gaussian-binary Restricted Boltzmann Machines on Modeling Natural Image Statistics.
H. Gopalkrishna Gadiyar, R. Padma:
Hamming's Original Paper Rewritten in Symbolic Form: A Preamble to Coding Theory.
Ciaran McCreesh, Patrick Prosser:
The Shape of the Search Tree for the Maximum Clique Problem, and the Implications for Parallel Branch and Bound.
Muhammad Adnan Khan, Muhammad Umair, Muhammad Aamer Saleem Choudry:
Accelerated Assistant to SubOptimum Receiver for Multi Carrier Code Division Multiple Access System.
Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi:
An Efficient Algorithm for the Equation Tree Automaton via the $k$-C-Continuations.
Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty:
A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures.
Hossein Hosseini, Ali Goli, Neda Barzegar Marvasti, Masoume Azghani, Farokh Marvasti:
On Image Block Loss Restoration Using the Sparsity Pattern as Side Information.
Dimitri Kartsaklis, Mehrnoosh Sadrzadeh, Stephen Pulman, Bob Coecke:
Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras.
Lutz Bornmann:
How are excellent (highly cited) papers defined in bibliometrics? A quantitative analysis of the literature.


Linhao Li, Ping Wang, Qinghua Hu, Sijia Cai:
A Sparse Outliers Iterative Removal Algorithm to Model the Background in the Video Sequences.
Parisa Jalili Marandi, Marco Primi, Nicolas Schiper, Fernando Pedone:
Ring Paxos: High-Throughput Atomic Broadcast.
Ghassem Tofighi, Kaamran Raahemifar, Anastasios N. Venetsanopoulos:
A Brief Review on Models for Performance Evaluation in DSS Architecture.

Alain Couvreur, Irene Marquez Corbella, Ruud Pellikaan:
A Polynomial Time Attack against Algebraic Geometry Code Based Public Key Cryptosystems.


Richard Hoshino, Ken-ichi Kawarabayashi:
Generating Approximate Solutions to the TTP using a Linear Distance Relaxation.
Hai Zhao, Xiaotian Zhang, Chunyu Kit:
Integrative Semantic Dependency Parsing via Efficient Large-scale Feature Selection.
Max A. Alekseyev:
Computing the (number of) inverses of Euler's totient and other multiplicative functions.
James R. A. Davenport, Robert DeLine:
The Readability of Tweets and their Geographic Correlation with Education.
Marco Mondelli, Seyed Hamed Hassani, Igal Sason, Rüdiger L. Urbanke:
Achieving the Superposition and Binning Regions for Broadcast Channels Using Polar Codes.

Afsana Nadia, Arifur Rahim Chowdhury, Md. Shoayeb Hossain, Md. Imdadul Islam, M. R. Amin:
Performance Evaluation of Two-Hop Wireless Link under Nakagami-m Fading.
Kent Tsz Kan Cheung, Shaoshi Yang, Lajos Hanzo:
Maximizing Energy-Efficiency in Multi-Relay OFDMA Cellular Networks.
Prerana Sharma:
Efficient Image Encryption and Decryption Using Discrete Wavelet Transform and Fractional Fourier Transform.
Mine Alsan, Emre Telatar:
Polarization as a novel architecture to boost the classical mismatched capacity of B-DMCs.
Guohua Wu, Huilin Wang, Haifeng Li, Witold Pedrycz, Dishan Qiu, Manhao Ma, Jin Liu:
An adaptive Simulated Annealing-based satellite observation scheduling method combined with a dynamic task clustering strategy.
K. Eric Harper, Thijmen de Gooijer:
Performance Impact of Lock-Free Algorithms on Multicore Communication APIs.
Fernando Almeida, José D. Santos, José A. Monteiro:
e-commerce business models in the context of web3.0 paradigm.
Karthikeyan V. Manjupriya, C. K. Chithra, M. Divya:
Face Verification Using Kernel Principle Component Analysis.
V. Karthikeyan, M. Divya, C. K. Chithra, K. Manju Priya:
Face Verification System based on Integral Normalized Gradient Image(INGI).
Yanqing Wang, Yaowen Liang, Luning Liu, Ying Liu:
A Motivation Model of Peer Assessment in Programming Language Learning.
Smita Nirkhi, Rajiv V. Dharaskar:
Comparative study of Authorship Identification Techniques for Cyber Forensics Analysis.
Guillaume Bonfante, Jean-Yves Marion, Fabrice Sabatier, Aurélien Thierry:
Analysis and Diversion of Duqu's Driver.
Chandra Sekhar Vorugunti, Mrudula Sarvabhatla:
A Robust Password-Based Multi-Server Authentication Scheme.
Tanmoy Chakraborty, Dipankar Das, Sivaji Bandyopadhyay:
Identifying Bengali Multiword Expressions using Semantic Clustering.
Jinxiao Zhu, Yin Chen, Yulong Shen, Osamu Takahashi, Xiaohong Jiang, Norio Shiratori:
Secrecy Transmission Capacity in Noisy Wireless Ad Hoc Networks.
HyungTae Kim, HaeJeong Yang:
Software Architecture and Subclassing Technique for Semiconductor Manufacturing Machines.

S. M. Mukane, Y. S. Ghodake, P. S. Khandagle:
Image enhancement using fusion by wavelet transform and laplacian pyramid.
João Graça, Kuzman Ganchev, Luísa Coheur, Fernando Pereira, Ben Taskar:
Controlling Complexity in Part-of-Speech Induction.
Yasin Yilmaz, Ziyu Guo, Xiaodong Wang:
Sequential Joint Spectrum Sensing and Channel Estimation for Dynamic Spectrum Access.
Adel Zahedi, Jan Østergaard, Søren Holdt Jensen, Patrick Naylor, Soren Bech:
Distributed Remote Vector Gaussian Source Coding with Covariance Distortion Constraints.
Hesham ElSawy, Ekram Hossain:
On Stochastic Geometry Modeling of Cellular Uplink Transmission with Truncated Channel Inversion Power Control.
Christian Schulz, Amin Mazloumian, Alexander M. Petersen, Orion Penner, Dirk Helbing:
Exploiting citation networks for large-scale author name disambiguation.
Joni Salminen, Jose Teixeira:
Fools gold? Developer dilemmas in a closed mobile application market platform.

Quan Zhou, Oleg V. Michailovich, Yogesh Rathi:
Spatially regularized reconstruction of fibre orientation distributions in the presence of isotropic diffusion.
Youlong Wu, Michele A. Wigger:
Coding Schemes for Discrete Memoryless Broadcast Channels with Rate-Limited Feedback.
Maria Kalimeri, Vassilios Constantoudis, Constantinos Papadimitriou, Konstantinos Karamanos, Fotis K. Diakonos, Harris Papageorgiou:
Word-length entropies and correlations of natural language written texts.
Adetunji B. Adebiyi, Chris Imafidon:
Using Neural Network to Propose Solutions to Threats in Attack Patterns.
Niki Vazou, Eric L. Seidel, Ranjit Jhala:
From Safety To Termination And Back: SMT-Based Verification For Lazy Languages.
Michael B. Cohen, Rasmus Kyng, Jakub W. Pachocki, Richard Peng, Anup B. Rao:
Preconditioning in Expectation.
Shaobo Lin, Xia Liu, Jian Fang, Zongben Xu:
Is Extreme Learning Machine Feasible? A Theoretical Assessment (Part II).
Yanqing Wang, Hong Ge, Xiaojing Feng, Jie Yu:
On measuring team stability in cooperative learning: An example of consecutive course projects on software engineering.

Yijin Zhang, Yuan-Hsun Lo, Feng Shu, Wing Shing Wong:
Protocol Sequences for Multiple-Packet Reception.
Reevana Balmahoon, Ling Cheng:
Information Leakage of Correlated Source Coded Sequences over Wiretap Channel.
Harun Rasit Er, Nadia Erdogan:
Parallel Genetic Algorithm to Solve Traveling Salesman Problem on MapReduce Framework using Hadoop Cluster.

Badong Chen, Guangmin Wang, Nanning Zheng, José C. Príncipe:
An Extended Result on the Optimal Estimation under Minimum Error Entropy Criterion.
Florent Capelli, Arnaud Durand, Stefan Mengel:
Hypergraph Acyclicity and Propositional Model Counting.
Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson:
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains.
Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker:
Predicate Logic as a Modelling Language: The IDP System.
(Withdrawn) DDoS Attack and Defense: Review of Some Traditional and Current Techniques.
Jonathan Kochems, C.-H. Luke Ong:
Safety verification of asynchronous pushdown systems with shaped stacks.
Li Dong, Furu Wei, Shujie Liu, Ming Zhou, Ke Xu:
A Statistical Parsing Framework for Sentiment Classification.
Jean Marc Kelif, Stéphane Sénécal, Constant Bridon, Marceau Coupechoux:
A Fluid Approach for Poisson Wireless Networks.
Peter Burcsi, Gabriele Fici, Zsuzsanna Lipták, Frank Ruskey, Joe Sawada:
On Combinatorial Generation of Prefix Normal Words.


Niv Dayan, Martin Kjær Svendsen, Matias Bjørling, Philippe Bonnet, Luc Bouganim:
EagleTree: Exploring the Design Space of SSD-Based Algorithms.
Nesrine Changuel, Bessem Sayadi, Michel Kieffer:
Control of Multiple Remote Servers for Quality-Fair Delivery of Multimedia Contents.
Behnam Faghih, Mohammad Reza Azadehfar, S. D. Katebi:
User Interface Design for E-Learning Software.
Haipeng Zhang, Lingjun Kong, Xiuju Huang, Mengmeng Cao:
Design of a High Speed XAUI Based on Dynamic Reconfigurable Transceiver IP Core.
Yixin Liu, Haipeng Zhang, Tao Feng:
Design of an Encryption-Decryption Module Oriented for Internet Information Security SOC Design.
Jie Chen, José Carlos M. Bermudez, Cédric Richard:
Steady-state performance of non-negative least-mean-square algorithm and its variants.
Nyagudi Musandu Nyagudi:
Post-Westgate SWAT : C4ISTAR Architectural Framework for Autonomous Network Integrated Multifaceted Warfighting Solutions Version 1.0 : A Peer-Reviewed Monograph.
Francesco Caltagirone, Florent Krzakala, Lenka Zdeborová:
On Convergence of Approximate Message Passing.
Songjian Lu, Xinghua Lu:
An exact algorithm for the weighed mutually exclusive maximum set cover problem.
Miles E. Hansard, Radu Horaud, Michel Amat, Georgios D. Evangelidis:
Automatic Detection of Calibration Grids in Time-of-Flight Images.
Daniel Lemire, Leonid Boytsov, Nathan Kurz:
SIMD Compression and the Intersection of Sorted Integers.
Ankit Sharma, Jaideep Srivastava, Abhishek Chandra:
Predicting Multi-actor collaborations using Hypergraphs.
N. Denizcan Vanli, Muhammed O. Sayin, Suleyman Serdar Kozat:
Online Piecewise Linear Regression via Infinite Depth Context Trees.
Ronald Hochreiter, Christoph Waldhauser:
Zombie Politics: Evolutionary Algorithms to Counteract the Spread of Negative Opinions.
Jonathan Huang, Ashish Kapoor, Carlos Guestrin:
Riffled Independence for Efficient Inference with Partial Rankings.
(Withdrawn) A Algorithm for the Hamilton Circuit Problem.
Seyed Abolghasem Mirroshandel, Gholamreza Ghassem-Sani:
Towards Unsupervised Learning of Temporal Relations between Events.



Lingjie Duan, Takeshi Kubo, Kohei Sugiyama, Jianwei Huang, Teruyuki Hasegawa, Jean C. Walrand:
Motivating Smartphone Collaboration in Data Acquisition and Distributed Computing.
Dilip Bethanabhotla, Giuseppe Caire, Michael J. Neely:
Adaptive Video Streaming in MU-MIMO Networks.
Aria Ghasemian Sahebi, S. Sandeep Pradhan:
Nested Polar Codes Achieve the Shannon Rate-Distortion Function and the Shannon Capacity.
Zhixing Luo, Hu Qin, Wenbin Zhu, Andrew Lim:
Branch-and-price-and-cut for the Split-collection Vehicle Routing Problem with Time Windows and Linear Weight-related Cost.
Pokkuluri Kiran Sree, Inampudi Ramesh Babu:
Identification of Protein Coding Regions in Genomic DNA Using Unsupervised FMACA Based Pattern Classifier.
Wei Jeng, Daqing He, Jiepu Jiang:
User Participation in an Academic Social Networking Service: A Survey of Open Group Users on Mendeley.
Qibin Zhao, Liqing Zhang, Andrzej Cichocki:
Bayesian CP Factorization of Incomplete Tensors with Automatic Rank Determination.
Parham Noorzad, Michelle Effros, Michael Langberg, Tracey Ho:
On the Power of Cooperation: Can a Little Help a Lot? (Extended Version).
Sanjay Vishwakarma, A. Chockalingam:
Transmitter Optimization in MISO Broadcast Channel with Common and Secret Messages.
Yehia El-khatib, Gareth Tyson, Michael Welzl:
The Effect of Network and Infrastructural Variables on SPDY's Performance.
Mina Karzand, Lizhong Zheng:
Achievable Degrees of Freedom in MIMO Correlatively Changing Fading Channels.
Jiangcheng Chen, Xiaodong Zhang, Lei Zhu:
Kinematics analysis and three-dimensional simulation of the rehabilitation lower extremity exoskeleton robot.
Haris Aziz, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh:
Strategic aspects of the probabilistic serial rule for the allocation of goods.
Emmanuel Abbe, Noga Alon, Afonso S. Bandeira:
Linear Boolean classification, coding and "the critical problem".

Tao Yang, Ziyang Meng, Guodong Shi, Yiguang Hong, Karl Henrik Johansson:
Synchronization for Multi-agent Systems under Directed Switching Topologies.
T. Lakshmi Narasimhan, Yalagala Naresh, Tanumay Datta, A. Chockalingam:
Pseudo-random Phase Precoded Spatial Modulation.
Vivekananda Gayen, Kamal Sarkar:
A Machine Learning Approach for the Identification of Bengali Noun-Noun Compound Multiword Expressions.
Shibamouli Lahiri, Sagnik Ray Choudhury, Cornelia Caragea:
Keyword and Keyphrase Extraction Using Centrality Measures on Collocation Networks.
Livy-Maria Real-Coelho, Christian Retoré:
Deverbal semantics and the Montagovian generative lexicon.
Hugo Gimbert, Edon Kelmendi:
Two-Player Perfect-Information Shift-Invariant Submixing Stochastic Games Are Half-Positional.
Maha Alodeh, Symeon Chatzinotas, Björn E. Ottersten:
A Multicast Approach for Constructive Interference Precoding in MISO Downlink Channel.
Sadi Evren Seker, Oguz Altun, Ugur Ayan, Cihan Mert:
A Novel String Distance Function based on Most Frequent K Characters.
Alberto Ochoa-Zezzatti, Luana Hatsukimi, Hitomi Karuda, Julio Arreola, Sandra Bustillos:
Never forget, whom was my ancestors: A cross-cultural analysis from Yonsei (fourth-generation Nikkei) in four societies using Data Mining.
Baofeng Wu, Qingfang Jin, Zhuojun Liu, Dongdai Lin:
Constructing Boolean Functions With Potential Optimal Algebraic Immunity Based on Additive Decompositions of Finite Fields.
Giuseppe Lisanti, Iacopo Masi, Federico Pernici, Alberto Del Bimbo:
Continuous Localization and Mapping of a Pan Tilt Zoom Camera for Wide Area Tracking.
Lewis Tseng, Nitin H. Vaidya:
Iterative Approximate Consensus in the presence of Byzantine Link Failures.
Zwi Altman, Soumaya Sallem, Ridha Nasri, Berna Sayraç, Maurice Clerc:
Particle Swarm Optimization for Mobility Load Balancing SON in LTE Networks.
Ahmed Douik, Sameh Sorour, Mohamed-Slim Alouini, Tareq Y. Al-Naffouri:
Completion Time Reduction in Instantly Decodable Network Coding Through Decoding Delay Control.
Yuqing Zhu, Jianfeng Zhan, Chuliang Weng, Raghunath Nambiar, Jinchao Zhang, Xingzhen Chen, Lei Wang:
BigOP: Generating Comprehensive Big Data Workloads as a Benchmarking Framework.
Xiao Lu, Ping Wang, Dusit Niyato:
Payoff Allocation of Service Coalition in Wireless Mesh Network: A Cooperative Game Perspective.
Tong Wu, Gungor Polatkan, David Steel, William P. Brown, Ingrid Daubechies, A. Robert Calderbank:
Painting Analysis Using Wavelets and Probabilistic Topic Models.
Siavash Ghavami, Farshad Lahouti, Vahid Rahmati, Lars Schwabe:
Synchrony in Neuronal Communications: An Energy Efficient Scheme.
Lin Tie:
On Near-controllability, Nearly-controllable Subspaces, and Near-controllability Index of a Class of Discrete-time Bilinear Systems: A Root Locus Approach.
Péter Babarczi, János Tapolcai, Lajos Rónyai, Muriel Médard:
Resilient Flow Decomposition of Unicast Connections with Network Coding.
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot:
Coinduction up to in a fibrational setting.
Robert Jeansoulin, Nic Wilson:
Quality of Geographic Information: Ontological approach and Artificial Intelligence Tools.
Uriel Feige, Jonathan Hermon, Daniel Reichman:
On giant components and treewidth in the layers model.
Monowar Hasan, Ekram Hossain, Dong In Kim:
Resource Allocation Under Channel Uncertainties for Relay-Aided Device-to-Device Communication Underlaying LTE-A Cellular Networks.
Siamak Ravanbakhsh, Russell Greiner:
Perturbed Message Passing for Constraint Satisfaction Problems.
Maha Alodeh, Symeon Chatzinotas, Björn E. Ottersten:
Spatial DCT-Based Channel Estimation in Multi-Antenna Multi-Cell Interference Channels.
Andrew Arnold, Daniel S. Roche:
Multivariate sparse interpolation using randomized Kronecker substitutions.
Kundan Kandhway, Joy Kuri:
How to Run a Campaign: Optimal Control of SIS and SIR Information Epidemics.
Charith Perera, Arkady B. Zaslavsky:
Improve the Sustainability of Internet of Things Through Trading-based Value Creation.
Earlence Fernandes, Alexander Crowell, Ajit Aluri, Atul Prakash:
Anception: Application Virtualization For Android.
Navid Tadayon, Sonia Aïssa:
Multi-Channel Cognitive Radio Networks: Modeling, Analysis and Synthesis.
Hyeji Kim, Abbas El Gamal:
Capacity Region of the Broadcast Channel with Two Deterministic Channel State Components.
Nadia Otmani Benmehidi, Meriem Arar, Imene Chine:
Modeling the behavior of reinforced concrete walls under fire, considering the impact of the span on firewalls.


Arsenia Chorti, Katerina Papadaki, H. Vincent Poor:
Optimal Power Allocation in Block Fading Gaussian Channels with Causal CSI and Secrecy Constraints.
Dragana Bajovic, Dusan Jakovetic, Dejan Vukobratovic, Vladimir S. Crnojevic:
Slotted Aloha for Networked Base Stations.
Cristina Cano, David Malone:
On Efficiency and Validity of Previous Homeplug MAC Performance Analysis.
Dusan Jakovetic, Dragana Bajovic, Dejan Vukobratovic, Vladimir S. Crnojevic:
Slotted Aloha for Networked Base Stations with Spatial and Temporal Diversity.
Olivier Finkel, Michal Skrzypczak:
On the Topological Complexity of omega-Languages of Non-Deterministic Petri Nets.
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen:
Zero-Reachability in Probabilistic Multi-Counter Automata.
Petar Popovski:
Delayed Channel State Information: Incremental Redundancy with Backtrack Retransmission.
Christian Bauckhage:
Computing the Kullback-Leibler Divergence between two Generalized Gamma Distributions.
Preslav Ivanov Nakov, Hwee Tou Ng:
Improving Statistical Machine Translation for a Resource-Poor Language Using Related Resource-Rich Languages.
Riad Abdmeziem, Djamel Tandjaoui:
Internet of Things: Concept, Building blocks, Applications and Challenges.
Kifayat-Ullah Khan, Kamran Najeebullah, Waqas Nawaz, Young-Koo Lee:
OLAP on Structurally Significant Data in Graphs.
Gabriela Csurka, Julien Ah-Pine, Stéphane Clinchant:
Unsupervised Visual and Textual Information Fusion in Multimedia Retrieval - A Graph-based Point of View.
Xi Ge, David C. Shepherd, Kostadin Damevski, Emerson R. Murphy-Hill:
How the Sando Search Tool Recommends Queries.
Hugo Reboredo, Francesco Renna, A. Robert Calderbank, Miguel R. D. Rodrigues:
Compressive Classification of a Mixture of Gaussians: Analysis, Designs and Geometrical Interpretation.
Dmitry Zinoviev, Sarah Llewelyn:
Co-Evolution of Friendship and Publishing in Online Blogging Social Networks.
Anastasios Kyrillidis, George N. Karystinos:
Fixed-rank Rayleigh Quotient Maximization by an $M$PSK Sequence.
Tangudu Bharat Kumar, Bhaskar Awadhiya, E. MeherAbhinav, Bahniman Ghosh, Bhupesh Bishnoi:
Performance Analysis of Spin Transfer Torque Random Access Memory with cross shaped free layer using Heusler Alloys by using micromagnetic studies.
Nicolas Delfosse, Jean-Pierre Tillich:
A decoding algorithm for CSS codes using the X/Z correlations.
Nicolas Kourtellis, Gianmarco De Francisci Morales, Francesco Bonchi:
Scalable Online Betweenness Centrality in Evolving Graphs.

Nabila Rahman, Matthew K. Wright, Donggang Liu:
Fast and energy-efficient technique for jammed region mapping in wireless sensor networks.
Marcos Portnoi, Joberto S. B. Martins:
TARVOS - an Event-Based Simulator for Performance Analysis, Supporting MPLS, RSVP-TE, and Fast Recovery.
Sariel Har-Peled, Amir Nayyeri, Mohammad R. Salavatipour, Anastasios Sidiropoulos:
How to Walk Your Dog in the Mountains with No Magic Leash.
Andrew Mastin, Patrick Jaillet, Sang Chin:
Randomized Minmax Regret for Combinatorial Optimization Under Uncertainty.
Amin Sakzad, Emanuele Viterbo, Joseph Jean Boutros, Yi Hong:
Phase Precoded Compute-and-Forward with Partial Feedback.
Dmitry Berdinsky, Tae-wan Kim, Durkbin Cho, Cesare Bracco, Sutipong Kiatpanichgij:
Bases of T-meshes and the refinement of hierarchical B-splines.
Wentao Huang, Tracey Ho, Michael Langberg, Jörg Kliewer:
Reverse Edge Cut-Set Bounds for Secure Network Coding.
Hina Tabassum, Uzma Siddique, Ekram Hossain, Md. Jahangir Hossain:
Cellular Downlink Performance with Base Station Sleeping, User Association, and Scheduling.
Reza Zolfaghari, Nicolas Epain, Craig T. Jin, Joan Alexis Glaunès, Anthony I. Tew:
Large Deformation Diffeomorphic Metric Mapping And Fast-Multipole Boundary Element Method Provide New Insights For Binaural Acoustics.
Zhengjun Cao, Lihua Liu:
A Fast String Matching Algorithm Based on Lowlight Characters in the Pattern.
Junyoung Nam:
Fundamental Limits in Correlated Fading MIMO Broadcast Channels: Benefits of Transmit Correlation Diversity.
Andrew R. Barron, Teemu Roos, Kazuho Watanabe:
Bayesian Properties of Normalized Maximum Likelihood and its Fast Computation.
Kasper Fløe Trillingsgaard, Petar Popovski:
Block-Fading Channels with Delayed CSIT at Finite Blocklength.
Dusit Niyato, Xiao Lu, Ping Wang:
Adaptive Power Management for Wireless Base Station in Smart Grid Environment.
Xiao Lu, Ke Zhang, Chuan Heng Foh, Cheng Peng Fu:
SSthreshless Start: A Sender-Side TCP Intelligence for Long Fat Network.
Hwanchol Jang, Saeid Nooshabadi, Kiseon Kim, Heung-No Lee:
Complex Valued Sphere Decoding with Element-wise Selective Prescreening for General Two-dimensional Signal Constellations.
Tomaso Erseghe:
On the Evaluation of the Polyanskiy-Poor-Verdu Converse Bound for Finite Blocklength Coding in AWGN.
Orestis Georgiou, Carl P. Dettmann, Justin P. Coon:
Network Connectivity: Stochastic vs. Deterministic Wireless Channels.
Antony W. Iorio, Hussein A. Abbass, Svetoslav Gaidow, Axel Bender:
Visualizing Cognitive Moves for Assessing Information Perception Biases in Decision Making.
Rui Wang, Xiaojun Yuan:
MIMO Multiway Relaying with Pairwise Data Exchange: A Degrees of Freedom Perspective.
Arkadiusz Stopczynski, Vedran Sekara, Piotr Sapiezynski, Andrea Cuttone, Jakob Eg Larsen, Sune Lehmann:
Measuring large-scale social networks with high resolution. WORKING PAPER.
Laura Sheble, Annie T. Chen:
Contexts of diffusion: Adoption of research synthesis in Social Work and Women's Studies.
Atif Ali Khan, Oumair Naseer, Daciana Iliescu, Evor L. Hines:
Fuzzy Controller Design for Assisted Omni-Directional Treadmill Therapy.
Mohammad Kazemi, Sahar Hashemgeloogerdi:
On the Cooperative Communication over Cognitive Interference Channel.
Marwa El Hefnawy, Gerhard Kramer:
Impact of Spectrum Sharing on the Efficiency of Faster-Than-Nyquist Signaling.
Jaewon Yang, Julian J. McAuley, Jure Leskovec:
Community Detection in Networks with Node Attributes.

Kosuke Sakata, Kenta Kasai, Kohichi Sakaniwa:
Spatially-Coupled Precoded Rateless Codes with Bounded Degree Achieve the Capacity of BEC under BP decoding.
Takuya Okazaki, Kenta Kasai:
Spatially-Coupled MacKay-Neal Codes with No Bit Nodes of Degree Two Achieve the Capacity of BEC.


Sixia Chen, Alexander Russell, Abhishek Samanta, Ravi Sundaram:
Deterministic Blind Rendezvous in Cognitive Radio Networks.

Zhiyi Zhou, Dongning Guo, Michael L. Honig:
A Message-Passing Approach to Combating Hidden Terminals in Wireless Networks.
Jaewon Yang, Julian J. McAuley, Jure Leskovec:
Detecting Cohesive and 2-mode Communities in Directed and Undirected Networks.
J. Hyam Rubinstein, Benjamin I. P. Rubinstein, Peter L. Bartlett:
Bounding Embeddings of VC Classes into Maximum Classes.
Behzad Asadi, Lawrence Ong, Sarah J. Johnson:
On Index Coding in Noisy Broadcast Channels with Receiver Message Side Information.
Jeffrey Tsang:
The parametrized probabilistic finite-state transducer probe game player fingerprint model.
Subrata Ghosh, Krishna Aswani, Surabhi Singh, Satyajit Sahu, Daisuke Fujita, Anirban Bandyopadhyay:
Design and Construction of a Brain-Like Computer: A New Class of Frequency-Fractal Computing Using Wireless Communication in a Supramolecular Organic, Inorganic System.
Can-Yi Lu, Zhouchen Lin, Shuicheng Yan:
Smoothed Low Rank and Sparse Matrix Recovery by Iteratively Reweighted Least Squares Minimization.
P. Pandiselvam, T. Marimuthu, R. Lawrance:
A Comparative Study on String Matching Algorithm of Biological Sequences.
Orit E. Raz, Micha Sharir, József Solymosi:
Polynomials vanishing on grids: The Elekes-Rónyai problem revisited.
Imre Varga, András Németh, Gergely Kocsis:
A novel method of generating tunable underlying network topologies for social simulation.
Ahmed Alkhateeb, Omar El Ayach, Geert Leus, Robert W. Heath Jr.:
Channel Estimation and Hybrid Precoding for Millimeter Wave Cellular Systems.
Naod Duga Jebessa, Henok Getachew Alemayehu:
Mobile Services and ICT4D, To the Network Economy - Bridging the Digital Divide, Ethiopia's Case.
Theo Kanter, Rahim Rahmani, Arif Mahmud:
Conceptual Framework for Internet of Things' Virtualization via OpenFlow in Context-aware Networks.
Pierre Flener, Justin Pearson:
Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation.
Massimo Cafaro, Piergiuseppe Pellè:
Space-Efficient Non-Interactive Verification Enhancing Arbitrary Secret Sharing Schemes By Adding Cheater Detection Capabilities.
(Withdrawn) NP is contained in DTIME(n^O(log^{gamma})).
Arkadii G. D'yachkov, Vyacheslav V. Rykov, Christian Deppe, Vladimir S. Lebedev:
Superimposed Codes and Threshold Group Testing.
Payam Porkar Rezaeiye, Mehrnoosh Bazrafkan, Ali Akbar Movassagh, Mojtaba Sedigh Fazli, Gholam Hossein Bazyari:
Use HMM and KNN for classifying corneal data.
Johannes Hofmann, Jan Treibig, Georg Hager, Gerhard Wellein:
Comparing the Performance of Different x86 SIMD Instruction Sets for a Medical Imaging Application on Modern Multi- and Manycore Chips.
Manaf Sharifzadeh, Saeid Aragy, Kaveh Bashash, Shahram Bashokian, Mehdi Gheisari:
A Comparison with two semantic sensor data storages in total data transmission.
Arkadii G. D'yachkov, Anthony J. Macula, David C. Torney, Pavel A. Vilenkin:
Two Models of Nonadaptive Group Testing for Designing Screening Experiments.
Reza Farrahi Moghaddam, Vahid Asghari, Fereydoun Farrahi Moghaddam, Mohamed Cheriet:
Failure-based Lifespan Performance Analysis of Network Fabric in Modular Data Centers: Toward Deployment in Canada's North.
Cédric Herzet, Charles Soussen:
Relaxed Recovery Conditions for OMP/OLS by Exploiting both Coherence and Decay.
Derek O'Callaghan, Nico Prucha, Derek Greene, Maura Conway, Joe Carthy, Pádraig Cunningham:
Online Social Media in the Syria Conflict: Encompassing the Extremes and the In-Betweens.

Felix Reidl, Peter Rossmanith, Fernando Sánchez Villaamil, Somnath Sikdar:
A Faster Parameterized Algorithm for Treedepth.


Michael Kohlhase, Corneliu-Claudiu Prodescu, Christian Liguda:
XLSearch: A Search Engine for Spreadsheets.
Camil Demetrescu, Irene Finocchi, Giuseppe F. Italiano, Luigi Laura:
Experimental Evaluation of Algorithms for the Food-Selection Problem.
Ching-Chi Lin, Hai-Lun Tu:
Linear-Time Algorithms for the Paired-Domination Problem in Interval Graphs and Circular-Arc Graphs.
Jake P. Taylor-King, Benjamin Franz, Christian A. Yates, Radek Erban:
Mathematical Modelling of Turning Delays in Swarm Robotics.


N. B. Melnikova, D. Jordan, Valeria V. Krzhizhanovskaya, Peter M. A. Sloot:
Slope Instability of the Earthen Levee in Boston, UK: Numerical Simulation and Sensor Data Analysis.
Benoit Baudry, Simon Allier, Martin Monperrus:
Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants.
Volkan Yazici, M. Oguz Sunay, Ali Ozer Ercan:
Controlling a Software-Defined Network via Distributed Controllers.
Benjamin A. Miller, Nadya T. Bliss, Patrick J. Wolfe, Michelle S. Beard:
A Spectral Framework for Anomalous Subgraph Detection.
Deepayan Chakrabarti, Stanislav Funiak, Jonathan Chang, Sofus A. Macskassy:
Joint Inference of Multiple Label Types in Large Networks.
Lingqiao Liu, Lei Wang, Chunhua Shen:
A Generalized Probabilistic Framework for Compact Codebook Creation.
Jianing Shi, Wotao Yin, Aswin C. Sankaranarayanan, Richard G. Baraniuk:
Video Compressive Sensing for Dynamic MRI.
Hatem Abou-zeid, Hossam S. Hassanein:
Predictive Green Wireless Access: Exploiting Mobility and Application Information.
Battista Biggio, Igino Corona, Blaine Nelson, Benjamin I. P. Rubinstein, Davide Maiorca, Giorgio Fumera, Giorgio Giacinto, Fabio Roli:
Security Evaluation of Support Vector Machines in Adversarial Environments.
C. Sunil Kumar, J. Seetha, S. R. Vinotha:
Security Implications of Distributed Database Management System Models.
Anuj Tewari, Nitesh Goyal, Matthew K. Chan, Tina Yau, John F. Canny, Ulrik Schroeder:
SPRING: speech and pronunciation improvement through games, for Hispanic children.
T. Balaji, M. Sumathi:
Effective Features of Remote Sensing Image Classification Using Interactive Adaptive Thresholding Method.
Ian R. Petersen, Alexander Lanzon:
Feedback Control of Negative-Imaginary Systems: Large Flexible structures with colocated actuators and sensors.
Frank Elberzhager, Stephan Kremer, Jürgen Münch, Danilo Assmann:
Focusing Testing by Using Inspection and Product Metrics.
Ahmed M. Alaa, Mahmoud H. Ismail, Hazim Tawfik:
Spectrum Sensing Via Reconfigurable Antennas: Is Cooperation of Secondary Users Indispensable?





George A. Ropokis, David Gesbert, Kostas Berberidis:
Optimal power control in Cognitive MIMO systems with limited feedback.
Xiangju Qin, Michael Salter-Townshend, Pádraig Cunningham:
Exploring the Relationship between Membership Turnover and Productivity in Online Communities.
Fred Morstatter, Jürgen Pfeffer, Huan Liu:
When is it Biased? Assessing the Representativeness of Twitter's Streaming API.
Marc Lelarge:
Loopy annealing belief propagation for vertex cover and matching: convergence, LP relaxation, correctness and Bethe approximation.
Stefano V. Albrecht, Subramanian Ramamoorthy:
Exploiting Causality for Efficient Monitoring in POMDPs.
Anghel Drugarin, Cornelia Victoria:
Numerical application and Turbo C program using the Gauss-Jordan Method.
Erik D. Demaine, MohammadTaghi Hajiaghayi, Hamid Mahini, David L. Malec, S. Raghavan, Anshul Sawant, Morteza Zadimoghaddam:
How to Influence People with Partial Incentives.

Asif Haque:
Transit Fare Arbitrage: Case Study of San Francisco Bay Area Rapid Transit (BART) System.
Sergei Chichin, Quoc Bao Vo, Ryszard Kowalczyk:
Truthful Market-based Trading of Cloud Resources with Reservation Price.
Kun Tu, Bruno F. Ribeiro, Hua Jiang, Xiaodong Wang, David D. Jensen, Benyuan Liu, Don Towsley:
Online Dating Recommendations: Matching Markets and Learning Preferences.
Kevin Carlberg, Ray Tuminaro, Paul T. Boggs:
Preserving Lagrangian structure in nonlinear model reduction with application to structural dynamics.

Ben Niu, Tanran Zhang, Xiaoyan Zhu, Hui Li, Zongqing Lu:
Priority-Aware Private Matching Schemes for Proximity-Based Mobile Social Networks.
Ove Armbrust, Masafumi Katahira, Yuko Miyamoto, Jürgen Münch, Haruka Nakao, Alexis Ocampo:
Scoping Software Process Models - Initial Concepts and Experience from Defining Space Standards.
Erik Zawadzki, Asher Lipson, Kevin Leyton-Brown:
Empirically Evaluating Multiagent Learning Algorithms.
Markus Stinner, Pablo M. Olmos:
Analyzing Finite-length Protograph-based Spatially Coupled LDPC Codes.
Miles E. Hansard, Georgios D. Evangelidis, Radu Horaud:
Cross-calibration of Time-of-flight and Colour Cameras.
Suprita Das, Rajesh Duvvuru, Sonal Raj:
Novel Integrated Approach of Software Development and Design Pattern with X-CM.
Mehrtash Tafazzoli Harandi, Richard I. Hartley, Chunhua Shen, Brian C. Lovell, Conrad Sanderson:
Extrinsic Methods for Coding and Dictionary Learning on Grassmann Manifolds.
Bhagvan K. Gupta, Ankit Mundra, Nitin Rakesh:
Failure Detection and Recovery in Hierarchical Network Using FTN Approach.
Stefania Bandini, Luca Crociani, Giuseppe Vizzari:
Heterogeneous Speed Profiles in Discrete Models for Pedestrian Simulation.
Ivan Arakistain, Jose Miguel Abascal, Oriol Munne:
ICT technologies for the refurbishment of wooden structure buildings.
Andreas Darmann, Edith Elkind, Sascha Kurz, Jérôme Lang, Joachim Schauer, Gerhard J. Woeginger:
Group Activity Selection Problem.
Dibakar Saha, Nabanita Das:
Distributed Area Coverage by Connected Set Cover Partitioning in Wireless Sensor Networks.
Alessandro Tomasoni, Sandro Bellini, Marco Ferrari:
Thresholds of absorbing sets in Low-Density-Parity-Check codes.
Pablo Rauzy, Sylvain Guilley:
A Formal Proof of Countermeasures against Fault Injection Attacks on CRT-RSA.
Pablo Rauzy, Sylvain Guilley:
Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack: A Pledge for Formal Methods in the Field of Implementation Security.
Toshio Suzuki, Yoshinao Niida:
Equilibrium Points of an AND-OR Tree: under Constraints on Probability.
Michal Klos, Karol Wawrzyniak, Marcin Jakubek, Grzegorz Orynczak, Anna Kadlubowska:
The Scheme of a Novel Methodology for Zonal Division Based on Power Transfer Distribution Factors.
Sören Georg, Matthias Müller, Horst Schulte:
Wind Turbine Model and Observer in Takagi-Sugeno Model Structure.
George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu:
Relative Expressive Power of Navigational Querying on Graphs.
Sanjay Vishwakarma, A. Chockalingam:
Decode-and-Forward Relay Beamforming with Secret and Non-Secret Messages.

Konrad Kulakowski:
On the Properties of the Priority Deriving Procedure in the Pairwise Comparisons Method.
Prasanth Karunakaran, Thomas Wagner, Ansgar Scherb, Wolfgang H. Gerstacker:
Sensing for Spectrum Sharing in Cognitive LTE-A Cellular Networks.
Dan Hirsch, Meredith L. Patterson, Anders Sandberg, Mikael Vejdemo-Johansson:
More ties than we thought.

Kevin M. Carter, Hamed Okhravi, James Riordan:
Quantitative Analysis of Active Cyber Defenses Based on Temporal Platform Diversity.
Reza Shoja Ghiass, Ognjen Arandjelovic, Hakim Bendada, Xavier Maldague:
Infrared face recognition: a comprehensive review of methodologies and databases.
Soheyl Gherekhloo, Chen Di, Anas Chaaban, Aydin Sezgin:
Sub-optimality of Treating Interference as Noise in the Cellular Uplink with Weak Interference.
Peter D. Turney, Saif M. Mohammad:
Experiments with Three Approaches to Recognizing Lexical Entailment.





Fei Tan, Jiajing Wu, Yongxiang Xia, Chi Kong Tse:
Traffic congestion in interconnected complex networks.
Renaud Lambiotte, Vsevolod Salnikov, Martin Rosvall:
Effect of Memory on the Dynamics of Random Walks on Networks.

Valérie Berthé, Jérémie Bourdon, Timo Jolivet, Anne Siegel:
A combinatorial approach to products of Pisot substitutions.
Tobias Kretz, Karsten Lehmann, Ingmar Hofsäß:
User Equilibrium Route Assignment for Microscopic Pedestrian Simulation.

Warren R. Scott, Warren B. Powell, Somayeh Moazehi:
Least Squares Policy Iteration with Instrumental Variables vs. Direct Policy Search: Comparison Against Optimal Benchmarks Using Energy Storage.
(Withdrawn) Iterative Reweighted Singular Value Minimization Methods for $l_p$ Regularized Unconstrained Matrix Minimization.

Katarzyna Sznajd-Weron, Karol Michal Suszczynski:
Nonlinear q-voter model with deadlocks on the Watts-Strogatz graph.

Francois Caron, Emily B. Fox:
Bayesian nonparametric models of sparse and exchangeable random graphs.
Franco Ferrari, Yani Zhao:
Monte Carlo Computation of the Vassiliev knot invariant of degree 2 in the integral representation.
Bartlomiej Bosek, Stefan Felsner, Kolja B. Knauer, Grzegorz Matecki:
On the Duality of Semiantichains and Unichain Coverings.
Sergio Gómez, Alberto Fernández, Clara Granell, Alex Arenas:
Structural patterns in complex systems using multidendrograms.
Azadeh Nematzadeh, Emilio Ferrara, Alessandro Flammini, Yong-Yeol Ahn:
Optimal network clustering for information diffusion.
Liang Gao, Chaoming Song, Ziyou Gao, Albert-László Barabási, James P. Bagrow, Dashun Wang:
Quantifying Information Flow During Emergencies.
Oscar García Morchon, Ronald Rietman, Igor E. Shparlinski, Ludo Tolhuizen:
Interpolation and Approximation of Polynomials in Finite Fields over a Short Interval from Noisy Values.
John Komar, Romain Hérault, Ludovic Seifert:
Key point selection and clustering of swimmer coordination through Sparse Fisher-EM.
Valery A. Ugrinovskii, Emilia Fridman:
A Round-Robin Protocol for Distributed Estimation with H∞ Consensus.
Zhitao Fan, Feng Guan, Chunlin Wu, Ming Yan:
The Continuity of Images by Transmission Imaging Revisited.

Jason Gejie Liu, Shuchin Aeron:
Robust Large Scale Non-negative Matrix Factorization using Proximal Point Algorithm.
Sirani M. Perera, Grigory Bonik, Vadim Olshevsky:
A Fast Algorithm for the Inversion of Quasiseparable Vandermonde-like Matrices.
Li-Xin Wang:
Dynamical Models of Stock Prices Based on Technical Trading Rules Part II: Analysis of the Models.
Li-Xin Wang:
Dynamical Models of Stock Prices Based on Technical Trading Rules Part III: Application to Hong Kong Stocks.
Oliver Arold, Svenja Ettl, Florian Willomitzer, Gerd Häusler:
Hand-guided 3D surface acquisition by combining simple light sectioning with real-time algorithms.
Johanna Bamberger, Anna-Lena Geßler, Peter Heitzelmann, Sara Korn, Rene Kahlmeyer, Xuehao Lu, Qihao Sang, Zhijie Wang, Guanzong Yuan, Michael Gauß, Tobias Kretz:
Crowd Research at School: Crossing Flows.
Denis Barthou, Olivier Brand-Foissac, Romain Dolbeau, Gilbert Grosdidier, Christine Eisenbeis, Michael Kruse, Olivier Pène, Konstantin Petrov, Claude Tadonki:
Automated Code Generation for Lattice Quantum Chromodynamics and beyond.
Martín Gómez Ravetti, Laura C. Carpi, Bruna Amin Gonçalves, Alejandro César Frery, Osvaldo A. Rosso:
Distinguishing noise from chaos: objective versus subjective criteria using Horizontal Visibility Graph.







You-Qi Nie, Hong-Fei Zhang, Zhen Zhang, Jian Wang, Xiongfeng Ma, Jun Zhang, Jian-Wei Pan:
Practical and fast quantum random number generation based on photon arrival time relative to external reference.
Jianzhu Ma, Sheng Wang, Zhiyong Wang, Jinbo Xu:
MRFalign: Protein Homology Detection through Alignment of Markov Random Fields.


Lijun Sun, Kay W. Axhausen, Der-Horng Lee, Manuel Cebrián:
Efficient detection of contagious outbreaks in massive metropolitan encounter networks.
Nuno Crokidakis, Victor H. Blanco, Celia Anteneodo:
Impact of contrarians and intransigents in a kinetic model of opinion dynamics.
Mahdi Pakdaman Naeini, Gregory F. Cooper, Milos Hauskrecht:
Binary Classifier Calibration: Bayesian Non-Parametric Approach.
Stefano Nasini, Jordi Castro, Pau Fonseca i Casas:
Bartering integer commodities with exogenous prices.
Peng Guan, Maxim Raginsky, Rebecca Willett:
Online Markov decision processes with Kullback-Leibler control cost.
Miika Hannula, Juha Kontinen:
Hierarchies in independence and inclusion logic with strict semantics.
Nicholas J. Horton, Benjamin S. Baumer, Hadley Wickham:
Teaching precursors to data science in introductory and second courses in statistics.
Mahdi Pakdaman Naeini, Gregory F. Cooper, Milos Hauskrecht:
Binary Classifier Calibration: Non-parametric approach.
Rajarshi Guhaniyogi, Shaan Qamar, David B. Dunson:
Bayesian Conditional Density Filtering for Big Data.
Chris Berg, Viviane Pons, Travis Scrimshaw, Jessica Striker, Christian Stump:
FindStat - the combinatorial statistics database.
Tobias Glasmachers, Ürün Dogan:
Coordinate Descent with Online Adaptation of Coordinate Frequencies.
Wataru Kumagai, Masahito Hayashi:
Random Number Conversion and LOCC Conversion via Restricted Storage.
Shun Watanabe, Masahito Hayashi:
Finite-length Analysis on Tail probability and Simple Hypothesis Testing for Markov Chain.
Masahito Hayashi, Shun Watanabe:
Information Geometry Approach to Parameter Estimation in Markov Chains.




Danilo Jimenez Rezende, Shakir Mohamed, Daan Wierstra:
Stochastic Back-propagation and Variational Inference in Deep Latent Gaussian Models.
Alberto Montina, Stefan Wolf:
Lower bounds on the communication complexity of two-party (quantum) processes.
Diogo Pratas, Armando J. Pinho:
A conditional compression distance that unveils insights of the genomic evolution.
Joachim Mathiesen, Luiza Angheluta, Mogens H. Jensen:
Statistics of co-occurring keywords on Twitter.
Tom Froese, Hiroyuki Iizuka, Takashi Ikegami:
Embodied social interaction constitutes social cognition in pairs of humans: A minimalist virtual reality experiment.
Bhaskar Roy Bardhan, Raul Garcia-Patron, Mark M. Wilde, Andreas J. Winter:
Strong converse for the classical capacity of all phase-insensitive bosonic Gaussian channels.

Fausto Bonacina, Marco D'Errico, Enrico Moretto, Silvana Stefani, Anna Torriero:
A Multiple Network Approach to Corporate Governance.
Yakup Koç, Martijn Warnier, Piet Van Mieghem, Robert E. Kooij, Frances M. T. Brazier:
The Impact of the Topology on Cascading Failures in Electric Power Grids.
Nicolas Crouseilles, Lukas Einkemmer, Erwan Faou:
A Hamiltonian splitting for the Vlasov-Maxwell system.
Piet Van Mieghem:
Graph eigenvectors, fundamental weights and centrality metrics for nodes in networks.
Simone Righi, Károly Takács:
Parallel versus Sequential Update and the Evolution of Cooperation with the Assistance of Emotional Strategies.
Chong Wu, Shenggong Ji, Rui Zhang, Liujun Chen, Jiawei Chen, Xiaobin Li, Yanqing Hu:
Bootstrap Percolation on Complex Networks with Community Structure.
Armando J. Pinho, Diogo Pratas, Paulo Jorge S. G. Ferreira:
Information profiles for DNA pattern discovery.
Ji Liu, Stephen J. Wright, Srikrishna Sridhar:
An Asynchronous Parallel Randomized Kaczmarz Algorithm.
Sébastien Bubeck, Elchanan Mossel, Miklós Z. Rácz:
On the influence of the seed graph in the preferential attachment model.
Mehdi Molkaraie:
An Importance Sampling Scheme on Dual Factor Graphs. I. Models in a Strong External Field.
Merlijn Sevenster:
Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications.
Marco Tomamichel, Jesús Martínez-Mateo, Christoph Pacher, David Elkouss:
Fundamental Finite Key Limits for Information Reconciliation in Quantum Key Distribution.
Massimiliano Zanin, Pedro A. C. Sousa, Ernestina Menasalvas Ruiz:
Information content: beyond modularity in complex networks.

Holger Boche, Janis Nötzel:
Positivity, Discontinuity, Finite Resources and Nonzero Error for Arbitrarily Varying Quantum Channels.
Rayan Chikhi, Antoine Limasset, Shaun Jackman, Jared T. Simpson, Paul Medvedev:
On the representation of de Bruijn graphs.
Mathieu Faverge, Julien Herrmann, Julien Langou, Bradley R. Lowery, Yves Robert, Jack J. Dongarra:
Designing LU-QR hybrid solvers for performance and stability.
Jugalkishore K. Banoth, Pradip Sircar:
Polynomial Transformation Method for Non-Gaussian Noise Environment.
Stephen G. Odaibo:
The Gabor-Einstein Wavelet: A Model for the Receptive Fields of V1 to MT Neurons.
Takanori Inazumi, Takashi Washio, Shohei Shimizu, Joe Suzuki, Akihiro Yamamoto, Yoshinobu Kawahara:
Causal Discovery in a Binary Exclusive-or Skew Acyclic Model: BExSAM.

Hamidreza Tavafoghi, Demosthenis Teneketzis:
Optimal Energy Procurement from a Strategic Seller with Private Renewable and Conventional Generation.
Vedran Sekara, Sune Lehmann:
Application of network properties and signal strength to identify face-to-face links in an electronic dataset.
Badong Chen, Junli Liang, Nanning Zheng, José C. Príncipe:
Kernel Least Mean Square with Adaptive Kernel Size.
Markus Lange-Hegermann:
The Differential Dimension Polynomial for Characterizable Differential Ideals.
Cyril Voyant, Gilles Notton, Christophe Paoli, Marie-Laure Nivet, Marc Muselli, Kahina Dahmani:
Numerical weather prediction or stochastic modeling: an objective criterion of choice for the global radiation forecasting.

Elisabetta Alfonsetti, Pradeep Chathuranga Weeraddana, Carlo Fischione:
A Semi Distributed Approach for Min-Max Fair Car-Parking Slot Assignment Problem.
Masaaki Harada:
On a 5-design related to a putative extremal doubly even self-dual code of length a multiple of 24.
Maxim Mayzel, Krzysztof Kazimierczuk, Vladislav Orekhov:
Causality principle in reconstruction of sparse NMR spectra.
Klas Markström:
The general graph homomorphism polynomial: Its relationship with other graph polynomials and partition functions.
Stéphan Clémençon, Héctor de Arazoza, Fabrice Rossi, Viet-Chi Tran:
A statistical network analysis of the HIV/AIDS epidemics in Cuba.
Neil Robertson, Daniel P. Sanders, Paul D. Seymour, Robin Thomas:
Reducibility in the Four-Color Theorem.
Jean Gillibert, Christian Retoré:
Category theory, logic and formal linguistics: some connections, old and new.
Christos Thrampoulidis, Samet Oymak, Babak Hassibi:
Simple Error Bounds for Regularized Noisy Linear Inverse Problems.
Maciej Balajewicz, Charbel Farhat:
Reduction of Nonlinear Embedded Boundary Models for Problems with Evolving Interfaces.
Sadi Evren Seker, Yavuz Unal, Z. Erdem, H. Erdinc Kocer:
Ensembled Correlation Between Liver Analysis Outputs.
Somphong Jitman, San Ling, Ekkasit Sangwisut:
Hermitian Self-Dual Cyclic Codes of Length $p^a$ over $GR(p^2, s)$.
Mustafa Elsheikh, Andy Novocin, Mark Giesbrecht:
Ranks of Quotients, Remainders and $p$-Adic Digits of Matrices.


David Conlon, Jacob Fox, William I. Gasarch, David G. Harris, Douglas Ulrich, Sam Zbarsky:
Distinct volume subsets.
Michael Hoy:
Methods for Collision-Free Navigation of Multiple Mobile Robots in Unknown Cluttered Environments.
Wojciech Wislicki, Tomasz Bednarski, Piotr Bialas, Eryk Czerwinski, Lukasz Kaplon, Andrzej Kochanowski, Grzegorz Korcyl, Jakub Kowal, Pawel Kowalski, Tomasz Kozik, Wojciech Krzemien, Marcin Molenda, Pawel Moskal, Szymon Niedzwiecki, Marek Palka, Monika Pawlik, Lech Raczynski, Zbigniew Rudy, Piotr Salabura, Neha Gupta-Sharma, Michal Silarski, Artur Slomski, Jerzy Smyrski, Adam Strzelecki, Anna Wieczorek, Marcin Zielinski, Natalia Zon:
Computing support for advanced medical data analysis and imaging.
Asim Ghosh, Nachiketa Chattopadhyay, Bikas K. Chakrabarti:
Inequality in Societies, Academic Institutions and Science Journals: Gini and k-indices.
Richard H. Byrd, S. L. Hansen, Jorge Nocedal, Yoram Singer:
A Stochastic Quasi-Newton Method for Large-Scale Optimization.
Haran Jackson, Michele Taroni, David Ponting:
A Two-Level Variant of Additive Schwarz Preconditioning for Use in Reservoir Simulation.
Dmitry Kolomenskiy, Jean-Christophe Nave, Kai Schneider:
Adaptive gradient-augmented level set method with multiresolution error estimation.
Brian P. Hanley:
Release of the Kraken: A Novel Money Multiplier Equation's Debut in 21st Century Banking.
Dirk Eddelbuettel, Murray Stokely, Jeroen Ooms:
RProtoBuf: Efficient Cross-Language Data Serialization in R.
Chi-Man Liu, Ruibang Luo, Tak Wah Lam:
GPU-Accelerated BWT Construction for Large Collection of Short Reads.

Oscar García Morchon, Ronald Rietman, Ludo Tolhuizen, Domingo Gómez, Jaime Gutierrez:
The MMO problem.
Francisco J. R. Ruiz, Isabel Valera, Carlos Blanco, Fernando Pérez-Cruz:
Bayesian nonparametric comorbidity analysis of psychiatric disorders.
Jason Gross, Adam Chlipala, David I. Spivak:
Experience Implementing a Performant Category-Theory Library in Coq.
Alexander Lanzon, Ian R. Petersen:
Stability robustness of a feedback interconnection of systems with negative imaginary frequency response.
Jerome Bonelle, Alexandre Ern:
Analysis of Compatible Discrete Operator Schemes for the Stokes Equations on Polyhedral Meshes.

Miriam Kießling, Sascha Kurz, Jörg Rambau:
An exact column-generation approach for the lot-type design problem - extended abstract.
Caterina De Bacco, Silvio Franz, David Saad, Chi Ho Yeung:
Shortest node-disjoint paths on random graphs.
Pol Colomer-de-Simon, Marián Boguñá:
Double percolation phase transition in clustered complex networks.
Holger Boche, Gisbert Janßen:
Resource Cost Results for One-Way Entanglement Distillation and State Merging of Compound and Arbitrarily Varying Quantum Sources.
Gerold Jäger, Weixiong Zhang:
An Effective Algorithm for and Phase Transitions of the Directed Hamiltonian Cycle Problem.
Giulio Cimini, Angel Sánchez:
Learning dynamics explains human behavior in Prisoner's Dilemma on networks.



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
